294 search results - page 2 / 59 » Analyzing Consistency of Security Policies |
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
DMS
2010
13 years 3 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
EUROSYS
2010
ACM
13 years 10 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
NDSS
2009
IEEE
14 years 15 hour ago
2009
IEEE
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...