Assessing security threats of looping constructs
- 17 January 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Belief in Information FlowPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Quantitative static analysis of distributed systemsJournal of Functional Programming, 2005
- Quantitative Information Flow, Relations and Polymorphic TypesJournal of Logic and Computation, 2005
- Quantified Interference for a While LanguageElectronic Notes in Theoretical Computer Science, 2005
- Guesswork and EntropyIEEE Transactions on Information Theory, 2004
- Toward a mathematical foundation for information flow securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic Confinement in a Declarative FrameworkElectronic Notes in Theoretical Computer Science, 2001
- A logical approach to multilevel security of probabilistic systemsDistributed Computing, 1998
- Syntactic control of interferencePublished by Association for Computing Machinery (ACM) ,1978
- A lattice model of secure information flowCommunications of the ACM, 1976