Amir Herzberg Igal Yoffe The Layered Games Framework for Specifications and Analysis of Security Protocols. 125-141 2008 TCC http://dx.doi.org/10.1007/978-3-540-78524-8_8 conf/tcc/2008 db/conf/tcc/tcc2008.html#HerzbergY08