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