1) 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协议的机密性进行了形式化分析与验证。
2) SSL: Secure Sockets Layer
SSL(Secure Sockets Layer)安全套接层协议
3) ISS RealSecure
ISS Real Secure
4) "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的语义差异进行对比和分析。
5) RPC attestation agreement
RPC认证协议
6) Andrew R/S methods
Andrew极差检验
补充资料：secure landfill
分子式：
CAS号：
性质：指对危险废物在安全填埋场进行的填埋处置。为了防止填埋废物与周围环境接触，尤其是防止地下水污染，在设计上除了必须严格选择具有适宜的水文地质结构和满足其他条件的场址外，还要求在填埋场底部铺设高密度聚乙烯材料的双层衬里，并具有地表径流控制、浸出液的收集和处理、沼气的收集和处理、监测井及适当的最终覆盖层的设计。在操作上必须严格限定入场处置的废物，进行分区、分单元填埋及每天压实覆盖，并特别要注意封场后的维护管理，通常要求在封场后应至少持续维护管理20年。
CAS号：
性质：指对危险废物在安全填埋场进行的填埋处置。为了防止填埋废物与周围环境接触，尤其是防止地下水污染，在设计上除了必须严格选择具有适宜的水文地质结构和满足其他条件的场址外，还要求在填埋场底部铺设高密度聚乙烯材料的双层衬里，并具有地表径流控制、浸出液的收集和处理、沼气的收集和处理、监测井及适当的最终覆盖层的设计。在操作上必须严格限定入场处置的废物，进行分区、分单元填埋及每天压实覆盖，并特别要注意封场后的维护管理，通常要求在封场后应至少持续维护管理20年。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条