ACPT: A tool for modeling and verifying access control policies

Jee Hyun Hwang; Tao Xie; Vincent Hu; Mine Altunay

doi:10.1109/POLICY.2010.22

ACPT: A tool for modeling and verifying access control policies

Jee Hyun Hwang, Tao Xie, Vincent Hu, Mine Altunay

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

Abstract

Access control mechanisms are a widely adopted technology for information security. Since access decisions (i.e., permit or deny) on requests are dependent on access control policies, ensuring the correct modeling and implementation of access control policies is crucial for adopting access control mechanisms. To address this issue, we develop a tool, called ACPT (Access Control Policy Testing), that helps to model and implement policies correctly during policy modeling, implementation, and verification.

Original language	English (US)
Title of host publication	Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010
Pages	40-43
Number of pages	4
DOIs	https://doi.org/10.1109/POLICY.2010.22
State	Published - 2010
Externally published	Yes
Event	2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010 - Fairfax, VA, United States Duration: Jul 21 2010 → Jul 23 2010

Publication series

Name	Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010

Other

Other	2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010
Country/Territory	United States
City	Fairfax, VA
Period	7/21/10 → 7/23/10

ASJC Scopus subject areas

Hardware and Architecture
Electrical and Electronic Engineering

Online availability

10.1109/POLICY.2010.22

Library availability

Discover UIUC Full Text

Cite this

Hwang, J. H., Xie, T., Hu, V., & Altunay, M. (2010). ACPT: A tool for modeling and verifying access control policies. In Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010 (pp. 40-43). [5629938] (Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010). https://doi.org/10.1109/POLICY.2010.22

ACPT: A tool for modeling and verifying access control policies. / Hwang, Jee Hyun; Xie, Tao; Hu, Vincent et al.
Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010. 2010. p. 40-43 5629938 (Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010).

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

Hwang, JH, Xie, T, Hu, V & Altunay, M 2010, ACPT: A tool for modeling and verifying access control policies. in Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010., 5629938, Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010, pp. 40-43, 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010, Fairfax, VA, United States, 7/21/10. https://doi.org/10.1109/POLICY.2010.22

Hwang JH, Xie T, Hu V, Altunay M. ACPT: A tool for modeling and verifying access control policies. In Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010. 2010. p. 40-43. 5629938. (Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010). doi: 10.1109/POLICY.2010.22

@inproceedings{c74cceed28754a818eed4509d721a224,

title = "ACPT: A tool for modeling and verifying access control policies",

abstract = "Access control mechanisms are a widely adopted technology for information security. Since access decisions (i.e., permit or deny) on requests are dependent on access control policies, ensuring the correct modeling and implementation of access control policies is crucial for adopting access control mechanisms. To address this issue, we develop a tool, called ACPT (Access Control Policy Testing), that helps to model and implement policies correctly during policy modeling, implementation, and verification.",

author = "Hwang, {Jee Hyun} and Tao Xie and Vincent Hu and Mine Altunay",

year = "2010",

doi = "10.1109/POLICY.2010.22",

language = "English (US)",

isbn = "9780769542386",

series = "Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010",

pages = "40--43",

booktitle = "Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010",

note = "2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010 ; Conference date: 21-07-2010 Through 23-07-2010",

}

TY - GEN

T1 - ACPT

T2 - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010

AU - Hwang, Jee Hyun

AU - Xie, Tao

AU - Hu, Vincent

AU - Altunay, Mine

PY - 2010

Y1 - 2010

N2 - Access control mechanisms are a widely adopted technology for information security. Since access decisions (i.e., permit or deny) on requests are dependent on access control policies, ensuring the correct modeling and implementation of access control policies is crucial for adopting access control mechanisms. To address this issue, we develop a tool, called ACPT (Access Control Policy Testing), that helps to model and implement policies correctly during policy modeling, implementation, and verification.

AB - Access control mechanisms are a widely adopted technology for information security. Since access decisions (i.e., permit or deny) on requests are dependent on access control policies, ensuring the correct modeling and implementation of access control policies is crucial for adopting access control mechanisms. To address this issue, we develop a tool, called ACPT (Access Control Policy Testing), that helps to model and implement policies correctly during policy modeling, implementation, and verification.

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

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

U2 - 10.1109/POLICY.2010.22

DO - 10.1109/POLICY.2010.22

M3 - Conference contribution

AN - SCOPUS:79951875048

SN - 9780769542386

T3 - Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010

SP - 40

EP - 43

BT - Proceedings - 2010 IEEE International Symposium on Policies for Distributed Systems and Networks, Policy 2010

Y2 - 21 July 2010 through 23 July 2010

ER -

ACPT: A tool for modeling and verifying access control policies

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this