...
机译:分段情报安全结构的正式风险-效果分析建议
National Intelligence University;
National Intelligence University;
The National Intelligence University, Washington, D. C.;
National Intelligence University's School of Science and Technology Intelligence;
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:网络安全威胁情报知识交流基于区块链提案,基于区块链和智能合同,促进网络威胁和风险智能交流信息
机译:结合人工智能计划的优势来协助对工业控制系统网络安全漏洞进行初步形式分析
机译:使Kerberos成为弹性基础设施,具有正式的安全分析
机译:将形式概念分析改编为系统探索结构-活性和结构-选择性关系
机译:组织之间的正式和关系合同:提出比较案例的交易和治理结构特征分析模型