An Improved Constraint-Based System for the Verification of Security Protocols

@inproceedings{Corin2002AnIC,
  title={An Improved Constraint-Based System for the Verification of Security Protocols},
  author={Ricardo Corin and Sandro Etalle},
  booktitle={SAS},
  year={2002}
}
We propose a constraint-based system for the verification of security protocols that improves upon the one developed by Millen and Shmatikov [30]. Our system features (1) a significantly more efficient implementation, (2) a monotonic behavior, which also allows to detect flaws associated to partial runs and (3) a more expressive syntax, in which a principal may also perform explicit checks. In this paper we also show why these improvements yield a more effective and practical system. 
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 84 CITATIONS, ESTIMATED 24% COVERAGE

84 Citations

0510'02'05'09'13'17
Citations per Year
Semantic Scholar estimates that this publication has 84 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…