69 search results - page 5 / 14 » Towards Semantics for Provenance Security |
IEEEARES
2006
IEEE
14 years 3 months ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
IAT
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
ISI
2004
Springer
14 years 3 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...
USS
2008
14 years 3 days ago
2008
Complexity in commodity operating systems makes compromises inevitable. Consequently, a great deal of work has examined how to protect security-critical portions of applications f...