Faculty Advisor

Fisler, Kathryn

Faculty Advisor

Guttman, Joshua D.

Abstract

This paper describes algorithms for use with the Cryptographic Protocol Shape Analyzer to automate and simplify tasks relating to cryptographic protocol analysis. A Python implementation of these algorithms is provided and documented. The tools developed in this project will be useful to both protocol designers and students looking to gain an understanding in trust engineering.

Publisher

Worcester Polytechnic Institute

Date Accepted

December 2010

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Unrestricted

Advisor Department

Computer Science

Share

COinS