687 search results - page 31 / 138 » A Self-Policing Policy Language |
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
TISSEC
2002
13 years 7 months ago
2002
IPsec is the standard suite of protocols for networklayer confidentiality and authentication of Internet traffic. The IPsec protocols, however, do not address the policies for how...