Evaluating access control policies through model checking

Nan Zhang, Mark Ryan, Dimitar Guelev

Research output: Contribution to conference (unpublished) › Paper

72 Citations (Scopus)

Original language	English
Publication status	Published - 1 Jan 2005
Event	8th International Conference on Information Security, Sep 20-23, 2005. Singapore, Singapore - Duration: 1 Jan 2005 → …

Conference	8th International Conference on Information Security, Sep 20-23, 2005. Singapore, Singapore
Period	1/01/05 → …

Keywords

@conference{0230e395845e40ca9f78c7aaa2acbe43,

title = "Evaluating access control policies through model checking",

keywords = "access control model, model checking, access control, verification, access control policy language, access control policy",

author = "Nan Zhang and Mark Ryan and Dimitar Guelev",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "8th International Conference on Information Security, Sep 20-23, 2005. Singapore, Singapore ; Conference date: 01-01-2005",

}

TY - CONF

T1 - Evaluating access control policies through model checking

AU - Zhang, Nan

AU - Ryan, Mark

AU - Guelev, Dimitar

PY - 2005/1/1

Y1 - 2005/1/1

KW - access control model

KW - model checking

KW - access control

KW - verification

KW - access control policy language

KW - access control policy

M3 - Paper

T2 - 8th International Conference on Information Security, Sep 20-23, 2005. Singapore, Singapore

Y2 - 1 January 2005

ER -