979 search results - page 62 / 196 » Developing Dynamic Security Policies |
TDSC
2008
13 years 10 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...
CSFW
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
ENTCS
2007
13 years 10 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
USENIX
2007
14 years 9 days ago
2007
Commercial operating systems have recently introduced mandatory access controls (MAC) that can be used to ensure system-wide data confidentiality and integrity. These protections...