The Community for Technology Leaders
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
92 ms
(Ver 3.3 (11022016))