173 search results - page 19 / 35 » Evaluating Access Control Policies Through Model Checking |
103
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
130
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
84
Voted
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—Significant progress has been made in understanding the behavior of TCP and congestion-controlled traffic over multihop wireless networks. Despite these advances, however, no ...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe an approach to building security services for context-aware environments. Specifically, we focus on the design of security services that incorporate the use of securi...
SP
1989
IEEE
15 years 3 months ago
1989
IEEE
Routing mechanisms for inter-autonomousregion communication require distribution of policy-sensitive information as well as algorithms that operate on such information. Without su...