C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Analysis of a Single Sign-On Protocol Implementation for Android.
Quanqi Ye
Guangdong Bai
Kailong Wang
Jin Song Dong
Published in:
ICECCS (2015)
Keyphrases
</>
formal analysis
ban logic
agent model
authentication protocol
knowledge representation
formal methods