Carolina State University / P. A. V. Hall / NC Vincent Hu National Institute of Standards and Technology Gaithersburg / University of California / /
IndustryTerm
by-product / policy verification tool / policy verification tools / automatic tool / web-based conference management system / model-checking algorithm / formal verification tools / Software unit test coverage / property verification tool / access control systems / web site3 / change-impact analysis tool / real-world software system / web access control policies / software programs / verification tools / policy coverage measurement tool / http /
Organization
Access Control Policies Evan Martin JeeHyun Hwang Tao Xie Computer Science Department North Carolina State University Raleigh / Organization for the Advancement of Structured Information Standards / National Science Foundation / Department of Computer Science / All / Institute of Standards and Technology Gaithersburg / University of California / Santa Barbara / /
Person
S TUDENT / A SSIGN / V / Tao Xie / P. E. Ammann / Martin JeeHyun / Vincent Hu / /
Position
Prime Minister / command-line Scheme interpreter / Firewall Policy Advisor / Scheme interpreter / pc-chair / FIREMAN / general quality metric / practicing programmer / /
ProgrammingLanguage
XML / Java / /
ProvinceOrState
Montana / California / /
Technology
XML / Java / firewall / API / machine learning / model-checking algorithm / /
Assessing Quality of Policy Properties in Verification of Access Control Policies Evan Martin JeeHyun Hwang Tao Xie Computer Science Department