State Machines for Extensible Authentication Protocol (EAP) Peer and Authenticator.
John R. VollbrechtPasi EronenNick L. Petroni Jr.Yoshihiro OhbaPublished in: RFC (2005)
Keyphrases
- authentication protocol
- state machines
- state machine
- smart card
- petri net
- lightweight
- security analysis
- public key
- recurrent networks
- security protocols
- rfid tags
- wifi
- data model
- secret key
- hash functions
- fault tolerant
- object oriented
- sequence diagrams
- security issues
- reactive systems
- database systems
- information security
- cost effective
- data structure