Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for +publisher:"University of Illinois – Chicago" +contributor:("Hinrichs, Timothy"). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Martinoia, Diego. Proving Correctness within an Access Control Evaluation Framework.

Degree: 2013, University of Illinois – Chicago

This thesis presents the proofs developed to demonstrate correctness of a case study within the Access Control Evaluation Framework (ACEF). ACEF is a theoretical framework developed at the University of Illinois at Chicago, aimed at creating application-sensitive implementations of access control policies, using well-known access control systems, while preserving some desirable properties. As the formal proof of these properties, including correctness, is usually a tedious process prone to error, a mixed approach was used, which relies on both human high-level abstraction and insight for the outlining of the proof sketches, and then verifies their formal correctness using a formal prover system. To achieve this, a generic template for ACEF for the Prototype Verification System formal prover was developed. The process of generating the proofs for this specific case study was also a benchmark for the validity of the template, as a first step towards the realization of a more automated approach to ACEF. In the conclusions, the validity of the approach is analyzed and possible future steps to improve it are outlined. Advisors/Committee Members: Zuck, Lenore (advisor), Hinrichs, Timothy (committee member), Lanzi, Pier Luca (committee member).

Subjects/Keywords: Access Control; Formal Methods; Correctness; PVS; Verification

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Martinoia, D. (2013). Proving Correctness within an Access Control Evaluation Framework. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/10132

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Thesis, University of Illinois – Chicago. Accessed January 18, 2021. http://hdl.handle.net/10027/10132.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Martinoia, Diego. “Proving Correctness within an Access Control Evaluation Framework.” 2013. Web. 18 Jan 2021.

Vancouver:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Internet] [Thesis]. University of Illinois – Chicago; 2013. [cited 2021 Jan 18]. Available from: http://hdl.handle.net/10027/10132.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Martinoia D. Proving Correctness within an Access Control Evaluation Framework. [Thesis]. University of Illinois – Chicago; 2013. Available from: http://hdl.handle.net/10027/10132

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.