Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1102.5584
Cited By
A Spatial-Epistemic Logic for Reasoning about Security Protocols
28 February 2011
Bernardo Toninho
Luís Caires
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Spatial-Epistemic Logic for Reasoning about Security Protocols"
Title
No papers
