Back to Results
First PageMeta Content
Cryptographic protocols / Computing / Burrows–Abadi–Needham logic / Cryptographic nonce / Challenge-response authentication / Communications protocol / Transmission Control Protocol / Otway–Rees protocol / Cryptography / Data / Information


Modelling Cryptographic Protocols in a Theory of Action James P. Delgrande and Torsten Grote and Aaron Hunter School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6.
Add to Reading List

Document Date: 2010-05-31 18:52:04


Open Document

File Size: 130,47 KB

Share Result on Facebook
UPDATE