A meta-model of access control in a fibred security language

被引：0

作者：

Barker S. ^{[1
]}

Boella G. ^{[2
]}

Gabbay D.M. ^{[1
,3
]}

Genovese V. ^{[2
]}

机构：

[1] Dept. of Computer Science, King's College London, London, WC2A 2LS, The Strand

[2] Dept. of Computer Science, Università di Torino, 185 - 10149 Torino, C.so Svizzera

[3] Dept. of Computer Science, Bar Ilan University, Ramat Gan

来源：

Studia Logica | 2009年 / 92卷 / 3期

关键词：

Access Control; Fibring; Logic; Security;

D O I：

10.1007/s11225-009-9203-4

中图分类号：

学科分类号：

摘要：

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. © Springer 2009.

引用

页码：437 / 477

页数：40

共 50 条

[21] Context-awareness Meta-model for Reconfigurable Control Systems
Fkaier, Soumoud
Romdhani, Mohamed
Khalgui, Mohamed
Frey, Georg
[J]. ENASE: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2017, : 226 - 234
[22] A food-energy-water nexus meta-model for food and energy security
Ogbolumani, Omolola A.
Nwulu, Nnamdi, I
[J]. SUSTAINABLE PRODUCTION AND CONSUMPTION, 2022, 30 : 438 - 453
[23] A Meta-Model for Cooperation Systems
Jeners, Nils
Prinz, Wolfgang
Franken, Sebastian
[J]. COLLABORATIVE SYSTEMS FOR REINDUSTRIALIZATION, 2013, 408 : 239 - 246
[24] The Rosetta meta-model framework
Kong, C
Alexander, P
[J]. ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 133 - 140
[25] A Meta-Model for Knowledge Management
Ammann, Eckhard
[J]. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON INTELLECTUAL CAPITAL AND KNOWLEDGE MANAGEMENT & ORGANISATIONAL LEARNING, 2008, : 37 - 44
[26] BioSignalML - a meta-model for biosignals
Brooks, David J.
Hunter, Peter J.
Smaill, Bruce H.
Titchener, Mark R.
[J]. 2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2011, : 5670 - 5673
[27] A meta-model for method integration
Saeki, M
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 39 (14-15) : 925 - 932
[28] A meta-model for enterprise algorithms
Marinescu, Cristina
Jurca, Loan
[J]. SYNASC 2006: EIGHTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, : 187 - +
[29] The clinical adoption meta-model: a temporal meta-model describing the clinical adoption of health information systems
Price, Morgan
Lau, Francis
[J]. BMC MEDICAL INFORMATICS AND DECISION MAKING, 2014, 14
[30] A Composite Task Meta-model as a Reference Model
Goschnick, Steve
Sonenberg, Liz
Balbo, Sandrine
[J]. HUMAN-COMPUTER INTERACTION, 2010, 332 : 26 - +

← 1 2 3 4 5 →