Formal Z specifications of several Flat Role-Based Access Control models

Ali E. Abdallah; Etienne J. Khayat

doi:10.1109/SEW.2006.20

Formal Z specifications of several Flat Role-Based Access Control models

Ali E. Abdallah, Etienne J. Khayat

London South Bank University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

12 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
Pages	282-291
Number of pages	10
DOIs	https://doi.org/10.1109/SEW.2006.20
Publication status	Published (VoR) - 2006
Event	30th Annual IEEE/NASA Software Engineering Workshop, SEW-30 - Columbia, MD, United States Duration: 24 Apr 2006 → 28 Apr 2006

Publication series

Name	Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

Conference

Conference	30th Annual IEEE/NASA Software Engineering Workshop, SEW-30
Country/Territory	United States
City	Columbia, MD
Period	24/04/06 → 28/04/06

Keywords

Authorization
Formal models
Role-Based Access Control
Z specification

Access to Document

10.1109/SEW.2006.20

Cite this

@inproceedings{7981f5bbdddb4932aa7899c7d3effb56,

title = "Formal Z specifications of several Flat Role-Based Access Control models",

keywords = "Authorization, Formal models, Role-Based Access Control, Z specification",

author = "Abdallah, {Ali E.} and Khayat, {Etienne J.}",

year = "2006",

doi = "10.1109/SEW.2006.20",

language = "English",

isbn = "0769526241",

series = "Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30",

pages = "282--291",

booktitle = "Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30",

note = "30th Annual IEEE/NASA Software Engineering Workshop, SEW-30 ; Conference date: 24-04-2006 Through 28-04-2006",

}

Abdallah, AE & Khayat, EJ 2006, Formal Z specifications of several Flat Role-Based Access Control models. in Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30., 4090271, Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, pp. 282-291, 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30, Columbia, MD, United States, 24/04/06. https://doi.org/10.1109/SEW.2006.20

Formal Z specifications of several Flat Role-Based Access Control models. / Abdallah, Ali E.; Khayat, Etienne J.
Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30. 2006. p. 282-291 4090271 (Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal Z specifications of several Flat Role-Based Access Control models

AU - Abdallah, Ali E.

AU - Khayat, Etienne J.

PY - 2006

Y1 - 2006

KW - Authorization

KW - Formal models

KW - Role-Based Access Control

KW - Z specification

UR - http://www.scopus.com/inward/record.url?scp=46449104628&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=46449104628&partnerID=8YFLogxK

U2 - 10.1109/SEW.2006.20

DO - 10.1109/SEW.2006.20

M3 - Conference contribution

AN - SCOPUS:46449104628

SN - 0769526241

SN - 9780769526249

T3 - Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

SP - 282

EP - 291

BT - Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

T2 - 30th Annual IEEE/NASA Software Engineering Workshop, SEW-30

Y2 - 24 April 2006 through 28 April 2006

ER -

Formal Z specifications of several Flat Role-Based Access Control models

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this