89 search results - page 1 / 18 » Compiled Labelled Deductive Systems for Access Control |
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
SP
1996
IEEE
13 years 8 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...
VLDB
2004
ACM
2004
ACM
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
13 years 10 months ago
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
WADT
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
ADC
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes an access control method of the XML repository system, SAXOPHONE, which was implemented at Tokyo Metropolitan University. The main feature of our research is ...