A formal model for parameterized role-based access control

Ali E. Abdallah; Etienne J. Khayat

doi:10.1007/0-387-24098-5_17

A formal model for parameterized role-based access control

Ali E. Abdallah, Etienne J. Khayat

London South Bank University

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

20 Citations (Scopus)

Original language	English
Title of host publication	Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004
Publisher	Springer New York
Pages	233-246
Number of pages	14
ISBN (Print)	0387240500, 9780387240503
DOIs	https://doi.org/10.1007/0-387-24098-5_17
Publication status	Published (VoR) - 2005
Event	IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004 - Toulouse, France Duration: 22 Aug 2004 → 27 Aug 2004

Publication series

Name	IFIP Advances in Information and Communication Technology
Volume	173
ISSN (Print)	1868-4238

Conference

Conference	IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004
Country/Territory	France
City	Toulouse
Period	22/08/04 → 27/08/04

Access to Document

10.1007/0-387-24098-5_17

Cite this

Abdallah, A. E., & Khayat, E. J. (2005). A formal model for parameterized role-based access control. In Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004 (pp. 233-246). (IFIP Advances in Information and Communication Technology; Vol. 173). Springer New York. https://doi.org/10.1007/0-387-24098-5_17

@inproceedings{2b814d023e8f479da185a840cf2f9003,

title = "A formal model for parameterized role-based access control",

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

year = "2005",

doi = "10.1007/0-387-24098-5_17",

language = "English",

isbn = "0387240500",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Springer New York",

pages = "233--246",

booktitle = "Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004",

note = "IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004 ; Conference date: 22-08-2004 Through 27-08-2004",

}

Abdallah, AE & Khayat, EJ 2005, A formal model for parameterized role-based access control. in Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004. IFIP Advances in Information and Communication Technology, vol. 173, Springer New York, pp. 233-246, IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004, Toulouse, France, 22/08/04. https://doi.org/10.1007/0-387-24098-5_17

A formal model for parameterized role-based access control. / Abdallah, Ali E.; Khayat, Etienne J.
Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004. Springer New York, 2005. p. 233-246 (IFIP Advances in Information and Communication Technology; Vol. 173).

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

TY - GEN

T1 - A formal model for parameterized role-based access control

AU - Abdallah, Ali E.

AU - Khayat, Etienne J.

PY - 2005

Y1 - 2005

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

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

U2 - 10.1007/0-387-24098-5_17

DO - 10.1007/0-387-24098-5_17

M3 - Conference contribution

AN - SCOPUS:84856019272

SN - 0387240500

SN - 9780387240503

T3 - IFIP Advances in Information and Communication Technology

SP - 233

EP - 246

BT - Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004

PB - Springer New York

T2 - IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004

Y2 - 22 August 2004 through 27 August 2004

ER -

A formal model for parameterized role-based access control

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this