Title
Formal Development of Authentication Protocols
Year
DOI
Field
1994
10.1007/978-1-4471-3240-0_5
Lightweight Extensible Authentication Protocol,Authentication,Challenge–response authentication,Computer science,Formal development,Computer network,Encryption,B-Method,Authentication protocol,Abstract machine
DocType
Citations 
PageRank 
Conference
13
1.11
References 
Authors
6
2
Name
Order
Citations
PageRank
pierre bieber1131.11
Nora Boulahia-cuppens2385.51