2 search results - page 1 / 1 » Multivariant Non-failure Analysis via Standard Abstract Inte... |
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
CSFW
2011
IEEE
12 years 4 months ago
2011
IEEE
—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 ...