We present a logic for proving security properties of protocols that use nonces (randomly generated numbers that uniquely identify a protocol session) and public-key cryptography. The logic, design...
No takes yet. Share an insight, caveat, or question.
DurginNancy et al. (2003) studied this question.