Amir Herzberg Igal Yoffe The layered games framework for specifications and analysis of security protocols. 144-159 2008 1 IJACT 2 http://dx.doi.org/10.1504/IJACT.2008.021087 db/journals/ijact/ijact1.html#HerzbergY08