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
Wijs, A.J, Fokkink, W.J, & Dashti, M.T. (2010). Partial order reduction for branching security protocols. In IEEE Computer. I.E.E.E. Computer Society Press.