Formal Analysis of a Single Sign-On Protocol Implementation for Android

Quanqi Ye, Guangdong Bai, Kailong Wang, Jin Song Dong. Formal Analysis of a Single Sign-On Protocol Implementation for Android. In 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. pages 90-99, IEEE, 2015. [doi]

Authors

Quanqi Ye

This author has not been identified. Look up 'Quanqi Ye' in Google

Guangdong Bai

This author has not been identified. Look up 'Guangdong Bai' in Google

Kailong Wang

This author has not been identified. Look up 'Kailong Wang' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google