A Token-Based Single Sign-On Protocol.

Hui Li Ting Shen

Published in: CIS (2) (2005)

Keyphrases

authentication protocol
trusted third party
lightweight
formal analysis
tcp ip
cryptographic protocols
coloured petri nets
data sets
public key
communication protocol
communication protocols
security analysis
key distribution
provably secure
protocol specification
file transfer