Specifying and Verifying Organizational Security Properties in First-Order Logic
Work
Year: 2010
Type: book-chapter
Cites: 45
Cited by: 5
Related to: 10
FWCI: 7.353
Citation percentile (by year/subfield): 90.45
Topic: Access Control and Trust
Subfield: Sociology and Political Science
Field: Social Sciences
Domain: Social Sciences
Open Access status: closed