Nuclear facilities; Safeguards; Nuclear materials diversion; Systems analysis; Theft; Vulnerability;
机译:基于形式化方法的C程序内存分配漏洞分析与优化
机译:脆弱的成人实验:成人保障法和政策中的情况脆弱性
机译:ANOVUL:通过数据和控制流程分析检测注释程序中的逻辑漏洞
机译:多准则分析在保障地质储藏库易损性中的应用
机译:大型复杂系统中的管理控制分析:安全弹道导弹防御系统程序。
机译:使用组织网络分析来规划针对弱势人群的癌症筛查计划
机译:洛斯阿拉莫斯国家实验室设施,安保和保障司,保障和安全方案办公室,保护部队监督方案
机译:保护漏洞分析程序(sVap)数据收集手册。第二卷