CCS
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...