Partial order reduction for branching security protocols

2010-06-01

Presented at the Conference on Application of Concurrency to System Design, Braga

Additional Metadata
ACM	Security and Protection (acm D.4.6)
Publisher	I.E.E.E. Computer Society Press
Journal	IEEE Computer
Conference	Conference on Application of Concurrency to System Design
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Wijs, A., Fokkink, W., & Dashti, M. (2010). Partial order reduction for branching security protocols. In IEEE Computer. I.E.E.E. Computer Society Press.

Publication