Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.14317
Cited By
Quantitative Verification of Opacity Properties in Security Systems
28 June 2022
C. Mu
David Clark
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Quantitative Verification of Opacity Properties in Security Systems"
1 / 1 papers shown
Title
Epistemic Temporal Logic for Information Flow Security
Musard Balliu
M. Dam
Gurvan Le Guernic
46
62
0
30 Aug 2012
1
