120 search results - page 9 / 24 » Formal Specification of Common Criteria Based Access Control... |
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
Pervasive computing environments introduce new requirements in expressiveness and flexibility of access control policies which are almost addressable leveraging contextual informa...
TGC
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
CAI
2006
Springer
13 years 7 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
NDSS
2003
IEEE
14 years 23 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
DIMVA
2009
13 years 8 months ago
2009
The use of dynamic access control policies for threat response adapts local response decisions to high level system constraints. However, security policies are often carefully tigh...