Back to Results
First PageMeta Content
Computing / Burrows–Abadi–Needham logic / Cryptography / Communications protocol / Protocol / Data / Information / Cryptographic protocols


Fast Automatic Security Protocol Generation Hongbin Zhou Simon N. Foley∗ Department of Computer Science University College, Cork, Ireland {zhou,s.foley}@cs.ucc.ie
Add to Reading List

Document Date: 2013-02-18 06:01:24

Open Document

File Size: 325,92 KB

Share Result on Facebook
UPDATE