基于椭圆曲线密码体制建立了几个具有语义安全的可转换签密方案。
Several convertible signcryption schemes with semantic security based on elliptic curve cryptosystem were proposed.
基于椭圆曲线密码体制建立了几个具有语义安全的可转换签密方案。
Several convertible signcryption schemes with semantic security based on elliptic curve cryptosystem are proposed.
本文给出了一个新的匹配协议，该协议是语义安全的，不存在概率多项式时间算法区分对两个输入的猜测值。
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.
如果攻击者不能彼此区分两个加密，即使攻击者知道(或已经选择)相应的明文，则密码系统被称为语义安全。
A cryptosystem is called semantically secure if an attacker cannot distinguish two encryptions from each other even if the attacker knows (or has chosen) the corresponding plaintexts.
RFIDIC定义的所有安全策略都具有allow语义，这意味着策略定义哪些数据是可以公开的。
ALL security policies defined with RFIDIC have ALLOW semantics, meaning, the policies define what data can be disclosed.
请参见规范，了解不同标注的具体语法和语义，但相同事务和安全功能都有标注。
See the specification for specific syntax and semantics of the different annotations, but the same transactional and security features all have annotations.
他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。
He is also concerned with the verification of security protocols through semantic formalisms and type checking.
因为XML安全组件使用XML文件的规范形式，语义上不重要的差异被忽略。
Because the XML Security Suite USES the canonical form of the XML documents, the semantically insignificant differences are ignored.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
Translates security policy into a prioritized logic program, and then computes its semantics.
从实验结果中看出，该模型能有效提高安全审计系统的识别精度，消除分片语义歧义性。
The experiments show that the fragment audit model could improve the discernment precision of security audit systems efficiently and eliminate the fragment semantic ambiguity.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
本文对众多经典的多级安全数据库模型进行分析总结，详细比较了其优缺点和不同语义下模型的可用性。
This paper analyzes and summarizes many classical multilevel security database models, comparing their advantages and disadvantages in detail as well as the availability under different semantics.
主要给出了该系统的一些语义概念，并基于安全的M -解释研究了其可靠性。
Mainly, some semantical concepts of the system are given out, and the soundness based on safe M-interpretations is studied.
本文详细描述了DGTS，以及基于DGTS的动态语义设计的灰色时序安全策略规范语言gtsl。
A dynamic grey temporal system (DGTS) and a grey temporal security policy specification Ianguage (GTSL) based on the dynamic semantics of DGTS are presented in this paper.
应该定义未完成或者未正确同步的程序的语义，主要是为了把潜在的安全危害降到最低。
The semantics of incompletely or incorrectly synchronized programs should be defined so that potential security hazards are minimized.
本文在对公共信息模型研究的基础上，根据CIM规定的语法和语义，对CIM进行了扩展，设计了预想故障集特有的类，并提出了一个基于CIM通用的静态安全分析软件。
This paper presents an extension of CIM to include a unique class representing the anticipated fault set and develops a software package for static security analysis based on CIM.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
基于角色的安全检查与代码访问安全检查在语义上稍有不同。
Role-based security checks have slightly different semantics than code access security checks.
在对现有的模型分析和研究的基础上，提出了一种基于角色的语义相关XML的安全模型。
Based on the analysis and research on above-mentioned background, we design and realize one semantic XML access control model based on RBAC.
在对现有的模型分析和研究的基础上，提出了一种基于角色的语义相关XML的安全模型。
Based on the analysis and research on above-mentioned background, we design and realize one semantic XML access control model based on RBAC.
应用推荐