The authorization calculus
Date of Award
Doctor of Philosophy (PhD)
Electrical Engineering and Computer Science
Authorization calculus, Access control, Computer security, Delegation
Computer Sciences | Physical Sciences and Mathematics
The Authorization Calculus is a modal logic with which to formally model systems that provide credentials that indicate privileges and make access control decisions based on those privileges. Extending an access control calculus of Abadi, Burrows, Lampson, and Plotkin with privileges gives us a formal way to reason about explicit privileges issued to principals that authorize access as well as such things as authorizing group membership and role activation. Formal deduction rules are used to create proofs that yield a sound foundational basis for making the access decision. We finalize by applying the Authorization Calculus for a formal analysis of the Common Object Request Broker Architecture (CORBA) Common Secure Interoperability Version 2 (CSIv2) Protocol.
Surface provides description only. Full text is available to ProQuest subscribers. Ask your Librarian for assistance.
Humenn, Polar, "The authorization calculus" (2008). Electrical Engineering and Computer Science - Dissertations. Paper 30.