Wenbo Shi Injoo Jang Hyeong Seon Yoo A Provable Secure Authentication Protocol Given Forward Secure Session Key. 309-318 2008 APWeb http://dx.doi.org/10.1007/978-3-540-78849-2_32 conf/apweb/2008 db/conf/apweb/apweb2008.html#ShiJY08a