Last update: Sun Jan 6 02:01:01 MST 2019
@Article{Herzberg:2008:LGF, author = "Amir Herzberg and Igal Yoffe", title = "The layered games framework for specifications and analysis of security protocols", journal = j-INT-J-APPL-CRYPTOGR, volume = "1", number = "2", pages = "144--159", year = "2008", CODEN = "????", DOI = "https://doi.org/10.1504/IJACT.2008.021087", ISSN = "1753-0563 (print), 1753-0571 (electronic)", ISSN-L = "1753-0563", MRclass = "94A60 (91A80)", MRnumber = "2526853", bibdate = "Fri Mar 17 10:02:54 2017", bibsource = "http://www.math.utah.edu/pub/tex/bib/ijact.bib", acknowledgement = ack-nhfb, fjournal = "International Journal of Applied Cryptography. IJACT", journal-URL = "http://www.inderscienceonline.com/loi/ijact", }