Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

Conference Proceedings

Property Verification for Generic Access Control Models

Published: December 20, 2008

Author(s)

Vincent Hu, Richard Kuhn, Tao Xie

Conference

Name: 2008 IEEE/IFIP International Symposium on Trust, Security and Privacy for Pervasive Applications (TSP-08)
Dates: December 17-20, 2008
Location: Shanghai, China
Citation: Proceedings of the 5th International Conference on Embedded and Ubiquitous Computing (EUC 2008), vol. 2, pp. 243-250

Abstract

Keywords

access control; combinatorial testing; modeling; software assurance
Control Families

None selected

Documentation

Publication:
Conference Proceedings (DOI)

Supplemental Material:
None available