Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1306.5678
Cited By
A Temporal Logic of Security
24 June 2013
M. Koleini
Michael R. Clarkson
Kristopher K. Micinski
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Temporal Logic of Security"
1 / 1 papers shown
Title
Epistemic Temporal Logic for Information Flow Security
Musard Balliu
M. Dam
Gurvan Le Guernic
142
63
0
30 Aug 2012
1
