1) "safe" and "secure"
safe和secure
1.
This is a corpus-based research on the differences between the adjectives "safe" and "secure" by comparison and analysis of the data and examples from the different corpus bases.
基于语料库中的相关数据,对形容词safe和secure的语义差异进行对比和分析。
2) ANSYS FE-SAFE
ANSYSFE-SAFE
3) ISS RealSecure
ISS Real Secure
4) DL-safe rule
DL-safe规则
1.
In the paper, an approach for extracting new DL-safe rules is proposed.
Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内。
2.
An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义。
5) SAFE software
SAFE软件
6) Andrew Secure RPC protocol
Andrew Secure RPC协议
1.
In the paper,Andrew Secure RPC protocol is firstly analyzed by BAN logic,then it is analyzed by model checking on the base.
先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。
2.
A methodology is presented by using strand spaces to analyze the Andrew secure RPC protocol,and some security bug is discovered.
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。
3.
A methodology is presented by using strand spaces to analyze the Andrew secure RPC protocol, and some security bug is discovered.
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。
补充资料：SAF
C 分子量12．01
无味无嗅黑色粉状松散物。不溶于溶剂。暴露在空气中吸潮。平均粒径60-130nm。比表面积20-35m2／g。真密度1．8g／cm3左右。
生产方法 采用油炉法和气炉法。油炉法是以重油、渣油为原料，配合一定量的空气送入反应炉内，在1100℃左右进行不完全燃烧、裂解，经急冷、收集、造粒而得。气炉法是以天然气为原料，配合一定量的空气通过火嘴箱，同时引入密闭反应炉中，在1250℃左右进行不完全燃烧、裂解，经冷却、收集和造粒而得。
应用 作为填充料，用于天然橡胶和各种合成橡胶(尤其对氯丁橡胶和丁腈橡胶兼具补强和填充作用)，有配量大、分散性好、加工性良好等特点，能使橡胶提高扯断伸长率、弹性和耐老化性，降低永久变形等，从而可用于生产胎体缓冲胶、帘布胶、钢丝包布胶、载重轮胎胎侧胶以及内胎、运输带内层、电缆包胶、胶管、胶鞋等各种橡胶制品。
无味无嗅黑色粉状松散物。不溶于溶剂。暴露在空气中吸潮。平均粒径60-130nm。比表面积20-35m2／g。真密度1．8g／cm3左右。
生产方法 采用油炉法和气炉法。油炉法是以重油、渣油为原料，配合一定量的空气送入反应炉内，在1100℃左右进行不完全燃烧、裂解，经急冷、收集、造粒而得。气炉法是以天然气为原料，配合一定量的空气通过火嘴箱，同时引入密闭反应炉中，在1250℃左右进行不完全燃烧、裂解，经冷却、收集和造粒而得。
应用 作为填充料，用于天然橡胶和各种合成橡胶(尤其对氯丁橡胶和丁腈橡胶兼具补强和填充作用)，有配量大、分散性好、加工性良好等特点，能使橡胶提高扯断伸长率、弹性和耐老化性，降低永久变形等，从而可用于生产胎体缓冲胶、帘布胶、钢丝包布胶、载重轮胎胎侧胶以及内胎、运输带内层、电缆包胶、胶管、胶鞋等各种橡胶制品。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条