Faculty Advisor

Christopher, Peter R.

Faculty Advisor

Dougherty, Daniel J.

Faculty Advisor

Guttman, Joshua D.

Abstract

We expound a method of analyzing cryptographic protocols using geometric logic and the Chase. Geometric logic is a formal system of logic comparable to first order logic, and the Chase is an algorithm which finds models for a given geometric logic theory. We use the Strand Space formalism as a model of protocol execution. Our work includes a rigorous translation of the Strand Space formalism, developed at MITRE, into geometric logic, a compiler that translates cryptographic protocols into geometric logic theories, and an algorithm for checking isomorphism between protocol executions in a special case in linear time.

Publisher

Worcester Polytechnic Institute

Date Accepted

April 2011

Major

Computer Science

Major

Mathematical Sciences

Project Type

Major Qualifying Project

Accessibility

Unrestricted

Advisor Department

Mathematical Sciences

Advisor Department

Computer Science

Share

COinS