A Uniform Approach for the Definition of Security Properties
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 794-813
- https://doi.org/10.1007/3-540-48119-2_44
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- CVS: a compiler for the analysis of cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Partial model checking and theorem proving for ensuring security propertiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Process algebra and non-interferencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Verifying authentication protocols in CSPIEEE Transactions on Software Engineering, 1998
- Formal analysis of a non-repudiation protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- Reasoning about cryptographic protocols in the spi calculusPublished by Springer Nature ,1997
- Three systems for cryptographic protocol analysisJournal of Cryptology, 1994
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Testing equivalences for processesTheoretical Computer Science, 1984
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983