Back to Results
First PageMeta Content
Burrows–Abadi–Needham logic / Belief revision / Epistemic modal logic / Communications protocol / Deniable authentication / IP / Cryptographic protocols / Data / Information


Belief Change and Cryptographic Protocol Verification Aaron Hunter and James P. Delgrande School of Computing Science Simon Fraser University Burnaby, BC, Canada {amhunter, jim}@cs.sfu.ca
Add to Reading List

Document Date: 2008-05-19 14:54:15

Open Document

File Size: 166,92 KB

Share Result on Facebook
UPDATE