| Document Date: 2013-06-07 14:08:57 Open Document File Size: 812,97 KBShare Result on Facebook
City Washington / DC / Berlin / Administrative Role / New York / / Company Verification I. INTRODUCTION Systems / 16th ACM Intl. / The MITRE Corporation / Access Control / Access Control Systems / / Country United States / / / Event Product Issues / / Facility Hu Karen Scarfone National Institute of Standards and Technology Gaithersburg / ACRLCS Rule building / / IndustryTerm above algorithms / model checking algorithm / model verification tool / communications security / database management systems / workflow-based enterprise resource management systems / real world applications / use verification tools / logic algorithm / computing / rule fault detecting algorithm / correct solution / simulated software / / OperatingSystem MULTICS / / Organization US government / Institute of Standards and Technology Gaithersburg / / Person N. Zhang / A. Schaad / V / Vincent C. Hu Karen Scarfone / K. Jayaraman / V / / Position formal model for testing against specified security properties / author / / Product policy / rules / / ProgrammingLanguage DC / / ProvinceOrState New York / / Technology above algorithms / following algorithm / logic algorithm / model checking algorithm / Simulation / operating systems / AC rule fault detecting algorithm / / URL http /
SocialTag |