Open AccessInformation based reasoning about security protocols
Author(s) -
R. Ramanujam,
S. P. Suresh
Publication year - 2003
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/s1571-0661(04)00246-4
Subject(s) - computer science , cryptographic protocol , abstraction , protocol (science) , information security , computer security , theoretical computer science , cryptography , medicine , philosophy , alternative medicine , epistemology , pathology
We propose a notion of information based abstraction for the logical study of security protocols and study how protocol actions update agents' information. We show that interesting security properties of Needham-Schroeder like protocols can be verified automatically
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom