Back to Results
First PageMeta Content
Security / 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.html 
Add to Reading List

Document Date: 2003-12-17 02:53:50

Open Document

File Size: 27,60 KB

Share Result on Facebook

Company

Needham / /

IndustryTerm

actual protocol / infinite state systems / authentication protocol / e - business / cryptographic protocols / e-vote / e-society / /

Person

Horn Clauses / /

Technology

html / authentication protocol / cryptography / one-memory protocols / actual protocol / /

URL

www.cmi.univ-mrs.fr / /

SocialTag