Semantics, languages and tools for layered attestation
The Copland Collection, a set of tools for writing and analyzing Copland specification, has been updated by MITRE. download the newest version of th Copland Collection here.