F.: Reasoning about the consequences of authorization policies in a linear epistemic logic
Type: article
Authors: Henry Deyoung, Frank Pfenning
Language: English
Topic: Access Control and Trust
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7100971868