378 search results - page 20 / 76 » Programming with Explicit Security Policies |
164
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
199
click to vote
CCS
2011
ACM
14 years 5 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
168
click to vote
WORDS
2005
IEEE
15 years 11 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
146
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
158
click to vote
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...