Title

The authorization calculus

Author

Polar Humenn, Syracuse University

Date of Award

2008

Degree Type

Dissertation

Degree Name

Doctor of Philosophy (PhD)

Department

Electrical Engineering and Computer Science

Keywords

Authorization calculus, Access control, Computer security, Delegation

Subject Categories

Computer Sciences | Physical Sciences and Mathematics

Abstract

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.

Access

Surface provides description only. Full text is available to ProQuest subscribers. Ask your Librarian for assistance.

Recommended Citation

Humenn, Polar, "The authorization calculus" (2008). Electrical Engineering and Computer Science - Dissertations. 30.
https://surface.syr.edu/eecs_etd/30

http://libezproxy.syr.edu/login?url=http://proquest.umi.com/pqdweb?did=1597602191&sid=1&Fmt=2&clientId=3739&RQT=309&VName=PQD