A Probabilistic Poly-Time Framework for Protocol Analysis

@inproceedings{Lincoln1998APP,
  title={A Probabilistic Poly-Time Framework for Protocol Analysis},
  author={Patrick Lincoln and John C. Mitchell and Mark Mitchell and Andre Scedrov},
  booktitle={ACM Conference on Computer and Communications Security},
  year={1998}
}
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are written in a restricted form of } -calculus and security may expressed as a form or observational equivalence, a standard relation from programming language theory that involves quantifying over possible environments that might interact with the protocol. Using an asymptotic notion of probabilistic equivalence, we relate… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 171 CITATIONS, ESTIMATED 31% COVERAGE

FILTER CITATIONS BY YEAR

1998
2019

CITATION STATISTICS

  • 7 Highly Influenced Citations

Similar Papers

Loading similar papers…