Last update: Sun Oct 15 02:58:48 MDT 2017
@Article{Halpern:2003:RBS,
author = "Joseph Y. Halpern and Riccardo Pucella",
title = "On the relationship between strand spaces and
multi-agent systems",
journal = j-TISSEC,
volume = "6",
number = "1",
pages = "43--70",
month = feb,
year = "2003",
CODEN = "ATISBQ",
ISSN = "1094-9224 (print), 1557-7406 (electronic)",
ISSN-L = "1094-9224",
bibdate = "Thu Aug 7 09:02:37 MDT 2003",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/tissec.bib",
acknowledgement = ack-nhfb,
fjournal = "ACM Transactions on Information and System Security",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789",
}