Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1505.02021
Cited By
v1
v2
v3 (latest)
The Anatomy and Facets of Dynamic Policies
8 May 2015
Niklas Broberg
B. V. Delft
David Sands
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"The Anatomy and Facets of Dynamic Policies"
3 / 3 papers shown
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
Conference on Computer and Communications Security (CCS), 2023
Toby C. Murray
Mukesh Tiwari
G. Ernst
David A. Naumann
270
1
0
07 Sep 2023
Towards a General-Purpose Dynamic Information Flow Policy
Peixuan Li
Qiang Yan
50
3
0
16 Sep 2021
Dynamic Intransitive Noninterference Revisited
S. Eggert
R. V. D. Meyden
59
9
0
20 Jan 2016
1
Page 1 of 1
