Reasoning about Probabilistic Security Using Task-PIOAs

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16074-5_2 ◽

2010 ◽

pp. 2-22 ◽

Cited By ~ 1

Author(s):

Aaron D. Jaggard ◽

Catherine Meadows ◽

Michael Mislove ◽

Roberto Segala

Download Full-text