Epistemic Temporal Logic for Information Flow Security

30 August 2012

Papers citing "Epistemic Temporal Logic for Information Flow Security"

4 / 4 papers shown

Title
Quantitative Verification of Opacity Properties in Security Systems C. Mu David Clark 14 0 0 28 Jun 2022
Data Minimisation: a Language-Based Approach (Long Version) Thibaud Antignac David Sands G. Schneider 14 25 0 17 Nov 2016
The Anatomy and Facets of Dynamic Policies Niklas Broberg B. V. Delft David Sands 24 23 0 08 May 2015
Knowledge and Security Riccardo Pucella 43 27 0 04 May 2013