174 search results - page 5 / 35 » Enforcing Non-safety Security Policies with Program Monitors |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
ACSAC
2001
IEEE
14 years 1 months ago
2001
IEEE
This paper describes the implementation of an enforcement module for file system security implemented as part of a security architecture for distributed systems which enforces a c...
ICTCS
2005
Springer
14 years 3 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...