"Refinement-Based Techniques in the Analysis of Information Flow Policies ..."

Jeremy W. Bryans, John S. Fitzgerald, Tom McCutcheon (2011)

Details and statistics

DOI: 10.1007/978-3-642-23330-2_35

access: open

type: Conference or Workshop Paper

metadata version: 2019-06-02

a service of  Schloss Dagstuhl - Leibniz Center for Informatics