A New Semantics of Authentication Logic

Authors:
Yifa Li
Affiliations:
-
Venue:
ICICS '01 Proceedings of the Third International Conference on Information and Communications Security
Year:
2001

Citing 3
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Authentication for Distributed Systems

Computer
On Unifying Some Cryptographic Protocol Logics

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the semantics of authentication protocol, and then proposes a new formal logic system of authentication. It is useful and effective, not only in analyzing key establish protocols, but in analyzing identification authentication protocols, electronic commerce protocols and nonrepudiation protocols. And my logic needn't the protocol idealization that has caused many problems in other BAN-like logic systems.