Computer Security Foundations Workshop, IEEE (1998)
Rockport, Massachusetts
June 9, 1998 to June 11, 1998
ISSN: 1063-6900
ISBN: 0-8186-8488-7
pp: 153
INDEX TERMS
CITATION
S. Staamann, U. Wilhelm and L. Buttyán, "A Simple Logic for Authentication Protocol Design," Computer Security Foundations Workshop, IEEE(CSFW), Rockport, Massachusetts, 1998, pp. 153.
doi:10.1109/CSFW.1998.683165
CITATIONS
