[PDF][PDF] Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis
BC Montalto - 2014 - research-collection.ethz.ch
Security protocols are distributed programs designed to ensure secure communication in a
network controlled by an adversary. They are widely used today for securing on-line …
network controlled by an adversary. They are widely used today for securing on-line …