Naval Research Laboratory Washington, DC, 20375 US;
Department of Computer Science University of York, YO10 5DD UK;
hypervisor; open-source; information-flow security; csp; z; circus refinement;
机译:氙气管理程序中的安全性正式方法
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:在DO-178B项目中使用正式方法
机译:在Xenon项目中使用正式的安全性方法
机译:XENON100时间投射室的光响应和氙闪烁光的光学参数测量
机译:发生什么正式的安全方法?
机译:使用PVS形式逻辑系统在信息安全系统建设中的正式安全性证明方法中
机译:氙形式安全策略模型