Digital Avionics Systems / Prentice-Hall / SPEC AG / AX (access_state = 1) AG / AX (access = grant) AG / MITRE Corporation / / /
Facility
Hall PTR / National Institute of Standards and Technology / Library No. S237 / 254 / University of Texas / /
IndustryTerm
real-world banking workflow requiring static / large systems / model-checking algorithm / automated tools / overall software assurance costs / control systems / Secure computer systems / non commercial research tool / software systems / workflow-based enterprise resource management / /
MarketIndex
case 10 / /
Movie
Conflict of Interest / /
Organization
National Institute of Standards and Technology / Workflow Management Coalition / University of Texas at Arlington / National Science Foundation / National Aeronautics and Space Administration / National Computer Security Center / 2North Carolina State University / /
Person
N. Zhang / A. Schaad / V / /
Position
cashier / representative / accountant / /
Product
Fireeye / /
ProvinceOrState
Texas / /
Technology
Finite State Machine / http / model-checking algorithm / /
Property Verification for Generic Access Control Models