Automated Trust Analysis of Copland Specifications for Layered Attestations✱
| Title: | Automated Trust Analysis of Copland Specifications for Layered Attestations✱ |
|---|---|
| Authors: | Rowe, Paul D.; Ramsdell, John D.; Kretz, Ian D. |
| Source: | 23rd International Symposium on Principles and Practice of Declarative Programming. :1-15 |
| Availability: | http://dl.acm.org/doi/10.1145/3479394.3479418 |
| Database: | ACM Full-Text Collection |