Classification of Security Properties
- 31 October 2001
- book chapter
- Published by Springer Nature
- p. 331-396
- https://doi.org/10.1007/3-540-45608-2_6
Abstract
No abstract availableKeywords
This publication has 41 references indexed in Scilit:
- A comparison of non-interference and non-deducibility using CSPPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Secrecy by typing in security protocolsJournal of the ACM, 1999
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- Authentication via localized namesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- A Logical View of Secure Dependencies*Journal of Computer Security, 1992
- An improved failures model for communicating processesPublished by Springer Nature ,1985
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984