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