1.
Safety logic assemblies of nuclear reactor Characteristics and test methods
GB/T5203-1985核反应堆安全逻辑装置特性和检验方法
2.
Network Security Analysis Model Based on Logic Exploitation Graph
基于逻辑渗透图的网络安全分析模型
3.
Logic Program and Its Application to the Verification of Security Protocols;
逻辑程序及其在安全协议验证中的应用
4.
Description and Analysis of WS Security Based on Temporal Logic;
基于时序逻辑的Web服务安全形式化描述与分析
5.
Research on Security Protocol Model Checking Based on Classical Logic;
基于经典逻辑的安全协议模型检测研究
6.
ECONOMIC INSTITUTION REFORM AND CHINESE FINANCIAL SECURITY:ISSUES,LOGIC AND COUNTERMEASURES;
经济体制改革与中国金融安全——问题、逻辑和对策
7.
Research on Formal Verification Methods of Security Protocols
网络协议安全性分析中的逻辑化方法研究
8.
Reliability Simulation of Complex Structures of Safety Instrumented System (SIS)
安全联锁系统（SIS）复杂逻辑结构的可靠性模拟
9.
Study on Migrating Instance Run-Time Security Based on Temporal Logic
基于时态逻辑的迁移实例运行时安全研究
10.
Security Economics:The Cultural Logic of Action in Migrant Workers' Urbanization
安全经济学:农民工市民化行为的文化逻辑
11.
Analysis of the Control of Reversing Fuze Safety System
运动可逆式引信安全系统逻辑控制分析
12.
The Logic of Food Safety Policy Based on the Perspective of Institution Change
食品安全政策的逻辑——基于制度变迁的视角
13.
The Logic of Institution Choice--The Evolvement of China Food Security Regulation System
制度选择的逻辑——我国食品安全监管体制的演变
14.
A New Property Verification Method for Code Security Based on Pointer Logic
一种基于指针逻辑的代码安全属性分析方法
15.
Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
安全协议一阶逻辑模型中攻击重构的实现
16.
Visualization Method for Time and Space Logic Correlation of Security Audit Event
一种安全审计事件时空逻辑关系可视化方法
17.
The Logical Conclusive Proof of A New Concept of Security--the Political-Science Significance of International Social Security Issues
新安全观的逻辑确证——国际社会安全问题的政治学意义分析
18.
His thinking goes against all logic.
他的思维完全不合逻辑.