Automated Trust Analysis of Copland Specifications for Layered Attestations✱.

Paul D. Rowe, John D. Ramsdell, Ian D. Kretz

Browse the full PPDP paper archive.