173 search results - page 19 / 35 » Evaluating Access Control Policies Through Model Checking |
IEEECIT
2010
IEEE
13 years 6 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...
SACMAT
2009
ACM
14 years 2 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...
INFOCOM
2008
IEEE
14 years 2 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
14 years 18 days 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
13 years 11 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...