A Formal Security Analysis of an OSA/Parlay Authentication Interface.
Ricardo CorinGaetano Di CaprioSandro EtalleStefania GnesiGabriele LenziniCorrado MoisoPublished in: FMOODS (2005)
Keyphrases
- security analysis
- application programming interface
- smart card
- authentication protocol
- security requirements
- public key
- context awareness
- mutual authentication
- elliptic curve cryptography
- user authentication
- security properties
- high security
- encryption scheme
- user interface
- encryption algorithm
- private key
- authentication scheme
- access control policies
- cost effective
- intelligent agents
- public key cryptography
- context aware