273 search results - page 3 / 55 » Formal Implementation of Network Security Policies |
ACSAC
2000
IEEE
13 years 11 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
WETICE
2003
IEEE
14 years 18 days ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
EGCDMAS
2004
13 years 8 months ago
2004
Security policies are abstract descriptions of how a system should behave to be secure. They typically express what is obligatory, permitted, or forbidden in the system. When the s...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an acce...