Kim-Kwang Raymond Choo Colin Boyd Yvonne Hitchcock On Session Key Construction in Provably-Secure Key Establishment Protocols. 116-131 2005 conf/mycrypt/2005 Mycrypt http://dx.doi.org/10.1007/11554868_9 db/conf/mycrypt/mycrypt2005.html#ChooBH05