On unifying some cryptographic protocol logics


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



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} }