Last update: Sun Oct 15 02:58:48 MDT 2017
@Article{Bella:2006:APF, author = "Giampaolo Bella and Lawrence C. Paulson", title = "Accountability protocols: {Formalized} and verified", journal = j-TISSEC, volume = "9", number = "2", pages = "138--161", month = may, year = "2006", CODEN = "ATISBQ", DOI = "https://doi.org/10.1145/1151414.1151416", ISSN = "1094-9224 (print), 1557-7406 (electronic)", ISSN-L = "1094-9224", bibdate = "Sat Aug 26 08:10:38 MDT 2006", 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", }