![Computing / Burrows–Abadi–Needham logic / Cryptography / Communications protocol / Protocol / Data / Information / Cryptographic protocols Computing / Burrows–Abadi–Needham logic / Cryptography / Communications protocol / Protocol / Data / Information / Cryptographic protocols](https://www.pdfsearch.io/img/fe1189245ea31d1b058ae2e671d75dcc.jpg) Date: 2013-02-18 06:01:24Computing 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.ieAdd to Reading ListSource URL: www.cs.ucc.ieDownload Document from Source Website File Size: 325,92 KBShare Document on Facebook
|