First Page | Document Content | |
---|---|---|
Date: 2003-12-17 02:53:50Security Dolev-Yao model Authentication protocol Cryptography Cryptographic nonce Communications protocol Authentication Π-calculus Cryptographic protocols Data Information | ACI ROSSIGNOL Denis LUGIEZ www.cmi.univ-mrs.fr/ lugiez/aci-rossignol.htmlAdd to Reading ListSource URL: www.irisa.frDownload Document from Source WebsiteFile Size: 27,60 KBShare Document on Facebook |