On unifying some cryptographic protocol logics

Abstract

We present a logic for analyzing cryptographic protocols. This logic encompasses a uni cation of four of its predecessors in the BAN family of logics, namely those given in [GNY90], [AT91], [vO93], and BAN itself [BAN89]. We also present a model-theoretic semantics with respect to which the logic is sound. The logic herein captures all of the desirable… (More)
DOI: 10.1109/RISP.1994.296595

Topics

Statistics

01020'95'98'01'04'07'10'13'16
Citations per Year

297 Citations

Semantic Scholar estimates that this publication has 297 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Syverson1994OnUS, title={On unifying some cryptographic protocol logics}, author={Paul F. Syverson and Paul C. van Oorschot}, booktitle={IEEE Symposium on Security and Privacy}, year={1994} }