全部

1·A semantic security policy language, called SSPL, was proposed for distributed computing environment.

提出了一种用于分布式计算环境的语言安全策略语言sspl。

2·Several convertible signcryption schemes with semantic security based on elliptic curve cryptosystem are proposed.

基于椭圆曲线密码体制建立了几个具有语义安全的可转换签密方案。

3·Several convertible signcryption schemes with semantic security based on elliptic curve cryptosystem were proposed.

基于椭圆曲线密码体制建立了几个具有语义安全的可转换签密方案。

4·In this paper, we present a new match protocol. It is of semantic security: there exists no probabilistic polynomial time algorithm to distinguish two guessed inputs.

本文给出了一个新的匹配协议，该协议是语义安全的，不存在概率多项式时间算法区分对两个输入的猜测值。

5·He is also concerned with the verification of security protocols through semantic formalisms and type checking.

他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。

6·The experiments show that the fragment audit model could improve the discernment precision of security audit systems efficiently and eliminate the fragment semantic ambiguity.

从实验结果中看出，该模型能有效提高安全审计系统的识别精度，消除分片语义歧义性。