706 search results - page 89 / 142 » Access Control: Policies, Models, and Mechanisms |
151
click to vote
CSFW
1994
IEEE
15 years 10 months ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
188
click to vote
WSC
1998
15 years 7 months ago
1998
The Detailed Policy Assessment Tool (DPAT) is a widely used simulation of air traffic control that incorporates advanced technology for user-friendly operation. DPAT computes cong...
263
click to vote
ICCSA
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
168
click to vote
USS
2008
15 years 8 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
199
click to vote
INFOCOM
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...