Back to Results
First PageMeta Content
Greek alphabet / Calligraphy / Character encoding / Character sets / Acute accent / Diaeresis / Æ / Circumflex / Strong secrecy / Latin script / Western calligraphy / Latin alphabet ligatures


Automatic Proof of Strong Secrecy for Security Protocols
Add to Reading List

Document Date: 2007-04-07 00:48:08

Open Document

File Size: 552,48 KB

Share Result on Facebook

Company

S&P / /

Currency

USD / /

/

IndustryTerm

cryptographic protocols / on-line interaction / resolution algorithm / exploration tools / on-line phase / constructor applications / destructor applications / on-line checking / type systems / cryptographic protocol / security protocols / /

Organization

Ecole Normale Sup´erieure / Max-Planck-Institut f¨ur Informatik / /

Person

Rule / Simon Gay / Bruno Blanchet / /

Position

Rt / /

Technology

encryption / solving algorithm / alpha / resolution algorithm / shared-key encryption / cryptography / deterministic and probabilistic public-key encryption / public key / public-key encryption / cryptographic protocol / following protocol / security protocols / secret key / Denning-Sacco key distribution protocol / Probabilistic public-key encryption / probabilistic shared-key encryption / tagged protocol / /

SocialTag