A Type System for Computationally Secure Information Flow
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 365-377
- https://doi.org/10.1007/11537311_32
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- A Type System for Computationally Secure Information FlowPublished by Springer Nature ,2005
- Secrecy types for asymmetric communicationTheoretical Computer Science, 2003
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Formal Eavesdropping and Its Computational InterpretationPublished by Springer Nature ,2001
- Probabilistic Polynomial-Time Equivalence and Security AnalysisPublished by Springer Nature ,1999
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- Certification of programs for secure information flowCommunications of the ACM, 1977
- A lattice model of secure information flowCommunications of the ACM, 1976