机译：高保证计算机系统中无线组件的基于策略的安全性科学出版物
机译：企业无线局域网安全性：威胁和有效的安全评估框架，可确保无线信息的安全
机译：使用保证案例论证通用航空电子任务控制计算机系统（MCC）的安全性
机译：核设施的高保证网络安全计划模板：相互正交的安全控制的二维分层，为后Stuxnet时代的关键计算机系统提供高保证的网络安全保护
机译：评估美国的信息保障*对基于计算机的国家安全威胁采取的政策措施
机译：医疗保健中的计算机应用。医院中的计算机系统。病历和质量保证：自动病历和质量保证
机译：高保障性计算机系统中无线组件的基于策略的安全性
机译：高保障，基于策略的应用程序的安全工程。
