Back to Results
First PageMeta Content
Information / Reflection attack / Cryptographic nonce / Password authentication protocol / Public-key cryptography / Otway–Rees protocol / Needham–Schroeder protocol / Cryptography / Cryptographic protocols / Data


Dynamic Types for Authentication ∗ Michele Bugliesi Riccardo Focardi Matteo Maffei Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, IMestre (Ve), Italy
Add to Reading List

Document Date: 2009-01-08 08:47:19


Open Document

File Size: 371,36 KB

Share Result on Facebook

City

Nonce / /

Company

Mobile Distributed Systems / Distributed Systems / /

Currency

pence / /

/

Event

FDA Phase / /

IndustryTerm

authentication protocol / multi-protocol systems / authentication protocols / security protocols / /

Organization

European Union / /

Person

Michele Bugliesi Riccardo Focardi Matteo / Gordon / Jeffrey / /

Product

Example / Section / /

Technology

encryption / 2 PC Protocol / Type-checked protocols / 0 This protocol / authentication protocol / spi calculus Protocol / second protocol / private key / security protocols / third protocol / 2 Nonce-Based Authentication Protocols Challenge-and-response authentication protocols / public key / Nonce-based protocols / authentication protocols / B. This protocol / specific protocol / /

SocialTag