Sciweavers

2 search results - page 1 / 1
» Multivariant Non-failure Analysis via Standard Abstract Inte...
Sort
View
75
Voted
FLOPS
2004
Springer
15 years 6 months ago
Multivariant Non-failure Analysis via Standard Abstract Interpretation
Francisco Bueno, Pedro López-García,...
CSFW
2011
IEEE
14 years 13 days ago
Dynamic Enforcement of Knowledge-Based Security Policies
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
Piotr Mardziel, Stephen Magill, Michael Hicks, Mud...