First Page | Document Content | |
---|---|---|
![]() Date: 2007-04-26 00:00:00Cryptographic protocols Propositional calculus Boolean algebra Classical logic Kerberos Modal logic Public-key cryptography Yahalom Burrows–Abadi–Needham logic Logic Cryptography Mathematical logic | Add to Reading List |