A High-Assurance, High-Performance Hardware-Based Cross-Domain System

Mark Bortz
Mark Bortz
James Potts
James Potts

SAFECOMP, pp. 102-113, 2016.

被引用0|引用|浏览8|来源
EI

摘要

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 ...更多

代码

数据

您的评分 :
0

 

标签
评论