[IEEE 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) - Gold Coast, Australia (2015.12.9-2015.12.12)] 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS) - Formal Analysis of a Single Sign-On Protocol Implementation for Android
Ye, Quanqi, Bai, Guangdong, Wang, Kailong, Dong, Jin SongYear:
2015
Language:
english
DOI:
10.1109/iceccs.2015.20
File:
PDF, 599 KB
english, 2015