desecreted documents that there is secret agreement between U.
分析美国新解密的文件证实,日美之间就核武器问题存在秘密协议,读解这些文件、文献也解明了日美双方的决策过程,并提示了日美间秘密协议对我国国家安全可能产生的具体负面影响。
Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
Improved formal model and algorithm for verifying cryptographic protocols;
改进的加密协议形式化验证模型和算法
Formal method is an important way of verifying cryptographic protocols.
形式化方法是验证加密协议的重要手段 ,提出了一种新的验证方法 ,该方法基于 Debbabi的推理规则 ,将参与者 ID|参与者密钥等数据结构从协议中抽象出来 ,建立起抽象的逻辑推理结构 。
In this dissertation we present a general,extensible methodology that examines cryptographic protocols.
在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。
Formal model for cryptographic protocols based on problem-solving theory;
一种基于问题求解理论的密码协议形式模型
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
Research on Formal Analysis of Three-party Cryptographic Protocols;
三方密码协议的形式化分析研究
Integrating semi-fragile watermarking,steganographia and elliptic curve cryptosystem,a more secure encryption protocol is introduced in the paper.
结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议。
A formal approach to verifying encryption protocols is studied.
探讨了形式化验证加密协议的方法，用时序逻辑验证了单向保密协议的安全性缺陷。
Collusion in judicial proceedings is a secret agreement.
在司法程序中，通谋是指一项秘密协议。
Interpreting Secret Agreement between U.S. and Japan on Nuclear Weapons from U.S. Descreted Document
从美国解密文件读解日美间核武器秘密协议
They sign a secret deal with their main rival.
他们与其主要竞争者签了一份秘密协议。
Research on Trade Secrets Protection under TRIPs;
TRIPs协议下商业秘密保护制度研究
Competing prohibition agreement protection by the enterprise commercial secret;
论企业商业秘密的竞业禁止协议保护
The Legal Protcetion of Trade Secrets under the Vision of TRIPS Agreement
TRIPS协议视野下商业秘密的法律保护
Controllable quantum secret sharing scheme on three-party entangled state
三态纠缠的可控的量子秘密共享协议
The Function of the Civil Confidentiality Agreement on Protecting the Trade Secrets
民事保密协议在保护商业秘密方面的功能
a clandestine marriage [arrangement]
秘密结婚 [协定]
At the same time, he made a secret pact with the Sung in the southern part of China.
与此同时，他与中国南宋秘密签定了协议。
They signed a secret deal with their main competitor .
他们和主要竞争者签订了一项秘密交易协议。
It was given out that the two sides had reached a secret military agreement
人们知道他们双方已达成一项秘密军事协议。
Verifiable Secret Redistribution Protocol Based on Additive Sharing
基于加法共享的可验证秘密再分发协议
The Research about a Secret Tallying Multi-Candidate Electronic Voting Protocol;
秘密计票的多候选人电子投票协议的研究
Study on the Covenant Not to Compete for Trade Secrets Protection;
商业秘密保护中的竞业禁止协议制度研究
Research on Covenants Not to Compete of US Trade Secrets Law;
美国商业秘密法中的竞业禁止协议研究
A Comparison of the Infringement Remedy System of Trade Secrets between Chinese Ones and TRIPs;
TRIPs协议与我国商业秘密侵权救济制度比较
Business-secrets-related TRIPs Articles and their Implementation in China;
TRIPs协议商业秘密条款及其在我国实施问题浅论