Back to Results
First PageMeta Content
Role-based access control / PERMIS / Mandatory access control / EXPRESS / Variable and attribute / Database management system / First-order logic / Security / Computer security / Access control


Paper Title (use style: paper title)
Add to Reading List

Document Date: 2013-06-07 14:08:57

Open Document

File Size: 812,97 KB

Share 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