Abstract | ||
---|---|---|
This paper describes a transformational method applied to the core component of role-based access control (RBAC), to derive efficient implementations from a specification based on the ANSI standard for RBAC. The method is based on the idea of incrementally maintaining the result of expensive set operations, where a new method is described and used for systematically deriving incrementalization rules. We calculate precise complexities for three variants of efficient implementations as well as for a straightforward implementation based on the specification. We describe successful prototypes and experiments for the efficient implementations and for automatically generating efficient implementations from straightforward implementations. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1111542.1111562 | PEPM |
Keywords | Field | DocType |
core role-based access control,incrementalization rule,expensive set operation,efficient implementation,straightforward implementation,core component,ansi standard,transformational method,precise complexity,new method,role-based access control,access control,optimization,transformation,role based access control | Programming language,Computer science,Set operations,Role-based access control,Theoretical computer science,Implementation,Access control,Ansi standards | Conference |
ISBN | Citations | PageRank |
1-59593-196-1 | 9 | 0.56 |
References | Authors | |
16 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yanhong A. Liu | 1 | 451 | 36.31 |
Chen Wang | 2 | 28 | 1.89 |
Michael Gorbovitski | 3 | 50 | 3.75 |
Tom Rothamel | 4 | 73 | 5.07 |
Yongxi Cheng | 5 | 125 | 15.23 |
Yingchao Zhao | 6 | 191 | 18.14 |
Jing Zhang | 7 | 141 | 13.08 |