Author:
Gorrieri Roberto,Martinelli Fabio,Petrocchi Marinella
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Two Facets of Authentication;Abadi,1998
2. Security Protocols and Specifications;Abadi,1999
3. Burrows, M., Abadi, M., and Needham, R., A Logic of Authentication, Technical Report 39, 1989, DEC Systems Research CENTER
4. A Comparison of Three Authentication Properties;Focardi;TCS,2003
5. A Uniform Approach for the Definition of Security Properties;Focardi,1999