45 search results - page 5 / 9 » Model-Based Tests for Access Control Policies |
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
Abstract—In this paper, we describe a receiver based congestion control policy that leverages TCP flow control mechanisms to prioritize mixed traffic loads across access links....
SACMAT
2010
ACM
14 years 10 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
SACMAT
2010
ACM
13 years 6 months ago
2010
ACM
The web is now being used as a general platform for hosting distributed applications like wikis, bulletin board messaging systems and collaborative editing environments. Data from...
TISSEC
2010
13 years 2 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...