Semantics and logic for security protocols

Abstract

This paper presents a sound BAN-like logic for reasoning about security protocols with theorem prover support. The logic has formulas for sending and receiving mes­ sages (with nonces, public and private encryptions etc.), and has both temporal and epistemic operators (describing the knowledge of participants). The logic’s semantics is based on strand… (More)
DOI: 10.3233/JCS-2009-0348

Topics

1 Figure or Table

Slides referencing similar topics