Towards formal analysis of security protocols
Authors:
- W. MaoWMW. Mao
- C. BoydCBC. Boyd
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 147-158
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A logic of knowledge and belief for reasoning about computer security2003
- Exploring the BAN approach to protocol analysis2002
- The value of semantics for the analysis of cryptographic protocols2002
- On belief evolution in authentication protocols2002
- Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocolJournal of Cryptology, 1991
- A critique of the Burrows, Abadi and Needham logicACM SIGOPS Operating Systems Review, 1990
- On the formal specification and verification of a multiparty session protocol1990
- Efficient and timely mutual authenticationACM SIGOPS Operating Systems Review, 1987
- Proof Methods for Modal and Intuitionistic Logics1983
- Modal Logic1980