660 search results - page 7 / 132 » History-Based Access Control and Secure Information Flow |
CSREASAM
2009
13 years 9 months ago
2009
Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Although RBAC provides flexible mechanisms to control the access to information, it do...
MMMACNS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...
LISP
2002
13 years 8 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
CSREASAM
2010
13 years 6 months ago
2010
The importance of computer security in order to maintain the confidentiality, integrity and availability of data and information is well known. Different mechanisms have been propo...