Information based reasoning about security protocols
R. Ramanujam, S. P. Suresh · Electronic Notes in Theoretical Computer Science · 2003
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.