Semantic models for information flow
- 1 May 2004
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 315 (1) , 209-256
- https://doi.org/10.1016/j.tcs.2003.11.019
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Equivalences, congruences, and complete axiomatizations for probabilistic processesPublished by Springer Nature ,2005
- Quantifying information flowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Comparing two information flow security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A comparison of non-interference and non-deducibility using CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CSP and determinism in security modellingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Information flow analysis in a discrete-time process algebraPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Refinement-oriented probability for CSPFormal Aspects of Computing, 1996
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995
- Separability and the detection of hidden channelsInformation Processing Letters, 1990
- Security Policies and Security ModelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982