A Meta-model of Access Control in a Fibred Security Language |
| |
Authors: | Steve Barker Guido Boella Dov M. Gabbay Valerio Genovese |
| |
Affiliation: | 1.Dept. of Computer Science,King’s College London The Strand,London,UK;2.Dept. of Computer Science,Università di Torino,Torino,Italy;3.Dept. of Computer Science,Bar Ilan University,Ramat Gan,Israel |
| |
Abstract: | The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|