![Burrows–Abadi–Needham logic / Needham–Schroeder protocol / Communications protocol / Model theory / Quantifier elimination / Security protocol notation / Cryptographic protocols / Data / Information Burrows–Abadi–Needham logic / Needham–Schroeder protocol / Communications protocol / Model theory / Quantifier elimination / Security protocol notation / Cryptographic protocols / Data / Information](https://www.pdfsearch.io/img/eb2481ec9f04d2d7562df7c84261976c.jpg) Date: 2006-08-04 05:49:00Burrows–Abadi–Needham logic Needham–Schroeder protocol Communications protocol Model theory Quantifier elimination Security protocol notation Cryptographic protocols Data Information | | A (restricted) quantifier elimination for security protocols ? R. Ramanujam ∗ The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai[removed], India S.P. SureshAdd to Reading ListSource URL: www.imsc.res.inDownload Document from Source Website File Size: 257,92 KBShare Document on Facebook
|