44 search results - page 4 / 9 » Formal Verification of Firewall Policies |
COMPSEC
2004
14 years 9 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
CCS
2008
ACM
14 years 11 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...
LISA
2003
14 years 11 months ago
2003
Auditing a web site’s content is an arduous task. For any given page on a web server, system administrators are often ill-equipped to determine who created the document, why itâ...
CCR
2000
14 years 9 months ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...
100
click to vote
FORMATS
2007
Springer
15 years 1 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...