protocol_ordering

This repo contains documentation and code related to our Copland attestation protocol ordering.

doc

1. Musings about protocol ordering and latex examples
2. An abstract for submission to the I2S student research symposium

src

1. The protocol_ordering folder contains the Coq specification
2. The chase_analysis folder contains example Copland protocols and Chase output
3. The automation folder contains an in-progress Python script for parsing attack trees in xhtml to Coq