1) secret agreement
秘密协议
1.
desecreted documents that there is secret agreement between U.
分析美国新解密的文件证实,日美之间就核武器问题存在秘密协议,读解这些文件、文献也解明了日美双方的决策过程,并提示了日美间秘密协议对我国国家安全可能产生的具体负面影响。
2) Confidential Memorandum of Understanding
机密协议备忘录;秘密谅解备忘录
3) cryptographic protocol
密码协议
1.
Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
2.
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
3.
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
4) cryptographic protocols
加密协议
1.
Improved formal model and algorithm for verifying cryptographic protocols;
改进的加密协议形式化验证模型和算法
2.
Formal method is an important way of verifying cryptographic protocols.
形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 。
3.
In this dissertation we present a general,extensible methodology that examines cryptographic protocols.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
5) cryptographic protocols
密码协议
1.
Formal model for cryptographic protocols based on problem-solving theory;
一种基于问题求解理论的密码协议形式模型
2.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
3.
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
6) encryption protocol
加密协议
1.
Integrating semi-fragile watermarking,steganographia and elliptic curve cryptosystem,a more secure encryption protocol is introduced in the paper.
结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议。
2.
A formal approach to verifying encryption protocols is studied.
探讨了形式化验证加密协议的方法，用时序逻辑验证了单向保密协议的安全性缺陷。
补充资料：《埃维昂协议》
《埃维昂协议》 vian Agreement法国承认阿尔及利亚独立的协议。法国政府和阿尔及利亚共和国临时政府为结束阿尔及利亚战争于1962年3月7～18日在法国埃维昂谈判，3月18日签署法阿协议的“总声明”，即《埃维昂协议》。协议规定1962年3月19日在阿尔及利亚全境结束军事行动，法国承认阿尔及利亚人民有权行使自决权，成立一个独立和主权的国家，法国承认阿尔及利亚民族解放阵线为“合法新政治组织”。法国3年内分批从阿尔及利亚撤出全部军队，但保留米尔斯克比尔（现凯比尔港）的海军基地，租借期15年，法国承担向阿尔及利亚提供为期3年的经济援助。法国公司则保持它们在阿尔及利亚的石油租借权。法国在1962年4月8日举行公民投票，以压倒多数赞成《埃维昂协议》。同年7月1日，阿尔及利亚人民一致投票赞成国家独立，持续7年半的阿尔及利亚战争至此结束。
|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条