Using π-Calculus to Formalize Domain Administration of RBAC View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2006

AUTHORS

Yahui Lu , Li Zhang , Yinbo Liu , Jiaguang Sun

ABSTRACT

With the wide implementations of Role-based access control (RBAC) models in the information systems, the access control for RBAC itself, administration of RBAC, becomes more and more important. In this paper, we propose a Domain Administration of RBAC Model, DARBAC, which defines an administrative domain for each administrative role. The administrative role can execute administrative operations on the users, roles, objects and child administrative roles within its administrative domain. Then we use π-calculus to formalize the elements of DARBAC model and their interactions. Although π-calculus has been successfully used in many security areas such as protocol analysis and information flow analysis, as we have known, our approach is the first attempt to use π-calculus to formalize RBAC and its administrative model. More... »

PAGES

278-289

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11689522_26

DOI

http://dx.doi.org/10.1007/11689522_26

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1023065953


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China", 
          "id": "http://www.grid.ac/institutes/grid.12527.33", 
          "name": [
            "School of Software, Tsinghua University, 100084, Beijing, China", 
            "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Lu", 
        "givenName": "Yahui", 
        "id": "sg:person.011616200146.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011616200146.46"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Software, Tsinghua University, 100084, Beijing, China", 
          "id": "http://www.grid.ac/institutes/grid.12527.33", 
          "name": [
            "School of Software, Tsinghua University, 100084, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zhang", 
        "givenName": "Li", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China", 
          "id": "http://www.grid.ac/institutes/grid.12527.33", 
          "name": [
            "School of Software, Tsinghua University, 100084, Beijing, China", 
            "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Liu", 
        "givenName": "Yinbo", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China", 
          "id": "http://www.grid.ac/institutes/grid.12527.33", 
          "name": [
            "School of Software, Tsinghua University, 100084, Beijing, China", 
            "Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sun", 
        "givenName": "Jiaguang", 
        "id": "sg:person.011411464635.59", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "With the wide implementations of Role-based access control (RBAC) models in the information systems, the access control for RBAC itself, administration of RBAC, becomes more and more important. In this paper, we propose a Domain Administration of RBAC Model, DARBAC, which defines an administrative domain for each administrative role. The administrative role can execute administrative operations on the users, roles, objects and child administrative roles within its administrative domain. Then we use \u03c0-calculus to formalize the elements of DARBAC model and their interactions. Although \u03c0-calculus has been successfully used in many security areas such as protocol analysis and information flow analysis, as we have known, our approach is the first attempt to use \u03c0-calculus to formalize RBAC and its administrative model.", 
    "editor": [
      {
        "familyName": "Chen", 
        "givenName": "Kefei", 
        "type": "Person"
      }, 
      {
        "familyName": "Deng", 
        "givenName": "Robert", 
        "type": "Person"
      }, 
      {
        "familyName": "Lai", 
        "givenName": "Xuejia", 
        "type": "Person"
      }, 
      {
        "familyName": "Zhou", 
        "givenName": "Jianying", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11689522_26", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-33052-3", 
        "978-3-540-33058-5"
      ], 
      "name": "Information Security Practice and Experience", 
      "type": "Book"
    }, 
    "keywords": [
      "administrative domains", 
      "role-based access control model", 
      "access control model", 
      "domain administration", 
      "administration of RBAC", 
      "information flow analysis", 
      "access control", 
      "RBAC model", 
      "security area", 
      "RBAC", 
      "information systems", 
      "administrative operations", 
      "control model", 
      "administrative model", 
      "administrative roles", 
      "users", 
      "calculus", 
      "flow analysis", 
      "first attempt", 
      "protocol analysis", 
      "implementation", 
      "objects", 
      "domain", 
      "model", 
      "wider implementation", 
      "system", 
      "operation", 
      "analysis", 
      "elements", 
      "area", 
      "control", 
      "attempt", 
      "interaction", 
      "role", 
      "administration", 
      "paper", 
      "approach"
    ], 
    "name": "Using \u03c0-Calculus to Formalize Domain Administration of RBAC", 
    "pagination": "278-289", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023065953"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11689522_26"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11689522_26", 
      "https://app.dimensions.ai/details/publication/pub.1023065953"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_157.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11689522_26"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/11689522_26'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/11689522_26'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11689522_26'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11689522_26'


 

This table displays all metadata directly associated to this object as RDF triples.

133 TRIPLES      23 PREDICATES      63 URIs      56 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11689522_26 schema:about anzsrc-for:08
2 anzsrc-for:0806
3 schema:author Nec8e315024e449b4bf5736ea9dbebf3f
4 schema:datePublished 2006
5 schema:datePublishedReg 2006-01-01
6 schema:description With the wide implementations of Role-based access control (RBAC) models in the information systems, the access control for RBAC itself, administration of RBAC, becomes more and more important. In this paper, we propose a Domain Administration of RBAC Model, DARBAC, which defines an administrative domain for each administrative role. The administrative role can execute administrative operations on the users, roles, objects and child administrative roles within its administrative domain. Then we use π-calculus to formalize the elements of DARBAC model and their interactions. Although π-calculus has been successfully used in many security areas such as protocol analysis and information flow analysis, as we have known, our approach is the first attempt to use π-calculus to formalize RBAC and its administrative model.
7 schema:editor N6a54421538aa4057b0fc2249f4e9b8ce
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Nf76ab21093f94f36bb2fb8203723b3e8
12 schema:keywords RBAC
13 RBAC model
14 access control
15 access control model
16 administration
17 administration of RBAC
18 administrative domains
19 administrative model
20 administrative operations
21 administrative roles
22 analysis
23 approach
24 area
25 attempt
26 calculus
27 control
28 control model
29 domain
30 domain administration
31 elements
32 first attempt
33 flow analysis
34 implementation
35 information flow analysis
36 information systems
37 interaction
38 model
39 objects
40 operation
41 paper
42 protocol analysis
43 role
44 role-based access control model
45 security area
46 system
47 users
48 wider implementation
49 schema:name Using π-Calculus to Formalize Domain Administration of RBAC
50 schema:pagination 278-289
51 schema:productId Nd23b5ffc88b54e4e9a04b817f6da0fb8
52 Ndb6a17281ea54d90b05cc945143338da
53 schema:publisher N8f6652f22f3340b2acafa2fe6fbe6a3c
54 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023065953
55 https://doi.org/10.1007/11689522_26
56 schema:sdDatePublished 2022-05-20T07:42
57 schema:sdLicense https://scigraph.springernature.com/explorer/license/
58 schema:sdPublisher Na5fcf545d6cf46a4b1858b7c693b686a
59 schema:url https://doi.org/10.1007/11689522_26
60 sgo:license sg:explorer/license/
61 sgo:sdDataset chapters
62 rdf:type schema:Chapter
63 N045c849b5f3944678babf0a60f55896a schema:affiliation grid-institutes:grid.12527.33
64 schema:familyName Zhang
65 schema:givenName Li
66 rdf:type schema:Person
67 N14272e83a7a34a02bfd2a50ff5d71b6d schema:familyName Lai
68 schema:givenName Xuejia
69 rdf:type schema:Person
70 N1c086ea56292472abdfff9443eeb479d schema:affiliation grid-institutes:grid.12527.33
71 schema:familyName Liu
72 schema:givenName Yinbo
73 rdf:type schema:Person
74 N23cc0005fc544e93be99e733efc2dde4 rdf:first N1c086ea56292472abdfff9443eeb479d
75 rdf:rest N52390636a1ad47c1861a8a2e120a1765
76 N2661b8ded8c74badbb925d25fe710ad6 rdf:first N14272e83a7a34a02bfd2a50ff5d71b6d
77 rdf:rest Nf2a488ecfed64fddb8f7b00349b55d4b
78 N52390636a1ad47c1861a8a2e120a1765 rdf:first sg:person.011411464635.59
79 rdf:rest rdf:nil
80 N6a54421538aa4057b0fc2249f4e9b8ce rdf:first Nea07f0f3d80444528d9228481f04ba2d
81 rdf:rest Nb848e2b9dbc941ee90cbe56c145b3c8e
82 N8f6652f22f3340b2acafa2fe6fbe6a3c schema:name Springer Nature
83 rdf:type schema:Organisation
84 N963ce3ab268344ed854c2955c2f5e336 schema:familyName Deng
85 schema:givenName Robert
86 rdf:type schema:Person
87 Na5fcf545d6cf46a4b1858b7c693b686a schema:name Springer Nature - SN SciGraph project
88 rdf:type schema:Organization
89 Na615b768185c4a3b9cc53e1d108ea0b1 rdf:first N045c849b5f3944678babf0a60f55896a
90 rdf:rest N23cc0005fc544e93be99e733efc2dde4
91 Nb848e2b9dbc941ee90cbe56c145b3c8e rdf:first N963ce3ab268344ed854c2955c2f5e336
92 rdf:rest N2661b8ded8c74badbb925d25fe710ad6
93 Nd23b5ffc88b54e4e9a04b817f6da0fb8 schema:name doi
94 schema:value 10.1007/11689522_26
95 rdf:type schema:PropertyValue
96 Ndb54355f8b9640348c9820ead56f8780 schema:familyName Zhou
97 schema:givenName Jianying
98 rdf:type schema:Person
99 Ndb6a17281ea54d90b05cc945143338da schema:name dimensions_id
100 schema:value pub.1023065953
101 rdf:type schema:PropertyValue
102 Nea07f0f3d80444528d9228481f04ba2d schema:familyName Chen
103 schema:givenName Kefei
104 rdf:type schema:Person
105 Nec8e315024e449b4bf5736ea9dbebf3f rdf:first sg:person.011616200146.46
106 rdf:rest Na615b768185c4a3b9cc53e1d108ea0b1
107 Nf2a488ecfed64fddb8f7b00349b55d4b rdf:first Ndb54355f8b9640348c9820ead56f8780
108 rdf:rest rdf:nil
109 Nf76ab21093f94f36bb2fb8203723b3e8 schema:isbn 978-3-540-33052-3
110 978-3-540-33058-5
111 schema:name Information Security Practice and Experience
112 rdf:type schema:Book
113 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
114 schema:name Information and Computing Sciences
115 rdf:type schema:DefinedTerm
116 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
117 schema:name Information Systems
118 rdf:type schema:DefinedTerm
119 sg:person.011411464635.59 schema:affiliation grid-institutes:grid.12527.33
120 schema:familyName Sun
121 schema:givenName Jiaguang
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011411464635.59
123 rdf:type schema:Person
124 sg:person.011616200146.46 schema:affiliation grid-institutes:grid.12527.33
125 schema:familyName Lu
126 schema:givenName Yahui
127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011616200146.46
128 rdf:type schema:Person
129 grid-institutes:grid.12527.33 schema:alternateName Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China
130 School of Software, Tsinghua University, 100084, Beijing, China
131 schema:name Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China
132 School of Software, Tsinghua University, 100084, Beijing, China
133 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...