<--- Back to Details
First PageDocument Content
Security / Dolev-Yao model / Authentication protocol / Cryptography / Cryptographic nonce / Communications protocol / Authentication / Π-calculus / Cryptographic protocols / Data / Information
Date: 2003-12-17 02:53:50
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

Source URL: www.irisa.fr

Download Document from Source Website

File Size: 27,60 KB

Share Document on Facebook

Similar Documents

Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol A. Salaiwarakul and M.D.Ryan School of Computer Science, University of Birmingham, UK {A.Salaiwarakul, M.D.Ryan}@cs.bham.ac.uk

DocID: 1u7Pp - View Document

Lapin: An Efficient Authentication Protocol Based on Ring-LPN Stefan Heyse1 , Eike Kiltz1 , Vadim Lyubashesvky2 , Christof Paar1 , and Krzysztof Pietrzak3? 1 Ruhr-Universit¨at Bochum

DocID: 1txUb - View Document

A Bi-direction Authentication Protocol for RFID Based on the Variable Update in IOT† Liu Yang1,2*, Peng Yu 2,Wang Bailing 1, Qu Yun1, Yuan Xinling 1,Yin zelong1 1 Department of Computer Science & Technology Harbin Inst

DocID: 1sWr7 - View Document

Arista v. Cisco Request 15 Oct 15 Authentication requested for: RFC 2401 Security Architecture for the Internet Protocol

DocID: 1sJMy - View Document

Analysis of EAP-GPSK Authentication Protocol John C. Mitchell1 , Arnab Roy1 and Paul Rowe2 , Andre Scedrov2 1 2

DocID: 1ssW3 - View Document