IEEE - Institute of Electrical and Electronics Engineers, Inc. - Intensional specifications of security protocols

Proceedings 9th IEEE Computer Security Foundations Workshop

Author(s): Roscoe, A.W.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Kenmare, Ireland, Ireland
Conference Date: 10 June 1996
Page(s): 28 - 38
ISBN (Paper): 0-8186-7522-5
ISSN (Paper): 1063-6900
DOI: 10.1109/CSFW.1996.503688
Regular:

It is often difficult to specify exactly what a security protocol is intended to achieve, and there are many example of attacks on protocol which have been proved to satisfy the 'wrong', or too... View More

Advertisement