secret agreement

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协议商业秘密条款及其在我国实施问题浅论