A High-Assurance, High-Performance Hardware-Based Cross-Domain System
SAFECOMP, pp. 102-113, 2016.
Guardol is a domain-specific language focused on the creation of high-assurance cross-domain systems (i.e., network guards). The Guardol system generates executable code from Guardol programs while also providing formal property specification and automated verification support. Guardol programs and specifications are translated to higher ...更多