U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

This is an archive
(replace .gov by .rip)

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

Announcement

Abstract

Keywords

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

None selected

Documentation

Publication:
Conference Proceedings (DOI)

Supplemental Material:
None available

Document History:
12/20/08: Conference Proceedings (Final)