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",
}