Work

Automated verification of access control policies using a SAT solver

Year: 2008

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-008-0087-9

Authors: Graham Hughes, Tevfik Bultan

Institution: University of California, Santa Barbara

Language: English

Topic: Access Control and Trust

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2064070192

FWCI: 5.739

Cites: 37

Cited by: 111

Related to: 10