The formal security proof of this scheme is provided in the random oracle model.
我们在随机预言模型下给出了方案的安全性证明。
Formal security and defense ties between the two countries go back to the early 1950s.
两国间的安全与防卫的正式关系可以追溯到1950年代初期。
First, there is no formal security labels, or is the formal manufacturers posted their own security marks.
第一、有没有正规的防伪标签，或者是正规厂家贴的自己的防伪标志。
In this paper, we proposed a formal security database system access model including a multilevel relation model and a element-level authorization.
提出了一个安全数据库访问控制模型，包括一个多层关系模型和一个用以增强自主访问控制能力的元素级粒度的授权。
Policies may include password requirements, formal security audits, usage tracking, wireless device usage, removable media concerns, personal use limitations, and user training.
这些政策可以包括密码验证，正式的安全审核，使用跟踪，无线设备的使用，有关可移动媒体的关注，个人应用的限制和用户培训。
Russia could block formal approval of this by the UN Security Council, so it may be up to individual countries to choose whether to recognise Kosovo.
俄罗斯可以通过联合国安理会来阻止这一方案的正式通过，因此可能只有个别国家会选择承认科索沃与否。
What is required is formal ratification at the UN Security Council.
所需要的是联合国安理会的正式批准。
Analysts say that any formal agreements will have to win the support of the security establishment in Zimbabwe, which is widely believed to be the power behind Mr. Mugabe.
分析人士认为，任何正式协议都必须赢得津巴布韦安全机构的支持。人们普遍认为，津巴布韦安全机构是穆加贝依靠的力量。
They lack formal work arrangements and social security, and often earn too little to provide for their families, let alone climb the ladder of economic opportunity.
他们缺乏正式的工作安排和社会保障，常常收入太少，无法养活家庭，更不用说有升迁的机会。
On January 28th Mr Kerviel was placed under formal investigation for abuse of trust, breaching computer security and falsifying documents.
1月28日Kerviel就滥用职权、违反计算机安全条例及伪造文件开始接受正式调查。
There should be a formal process that includes a security review that determines what permissions an application will be allowed.
应该配备正式的流程，其中应包含安全复查，以确定应用程序将被允许使用哪些权限。
The formal public security structure was augmented by a pervasive system of informers throughout the society.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。
The formal public security structure was augmented by a pervasive system of informers throughout the society.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。
The formal public security structure was augmented by a pervasive system of informers throughout the society. Surveillance of citizens, both physical and electronic, was routine.
原来的公共安架构已经被提升为全社会遍布告密者的普遍体系。对公民物理/人身和电子上的监视都成了常事。
A formal program is essential for establishing a consistent, standards-based approach to cyber security throughout an organization and eliminates sole dependence on individual initiative.
一个正式的计划是至关重要的建立一致的，基于标准的方法，整个组织的网络安全和消除了个人主动唯一的依赖。
At the beginning of this month, the United States made a formal request that the situation in Burma be placed on the agenda of the Security Council.
本月初，美国正式做出要求，缅甸局势应该被安理会提上议程。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
A formal concept of dynamic group signature is given. Then we discuss the requirements of security and the principles of estimating efficiency.
给出了动态群签名的正式定义，并讨论了它需要满足的安全性要求和其有效性的评价准则。
Both as a speculative and investment, high risk and high yield securities trading, major world security markets are as the establishment of formal institutional arrangement.
作为一种兼具投机性与投资性、高风险与高收益的证券交易方式，世界主要的证券市场都将其作为正式的制度安排确立下来。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Formal authentication of security protocol is an important field of network security.
安全协议的形式化验证是网络安全的一个重要领域。
This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.
论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
The cryptographic protocol should always satisfy security properties, so the formal specification should give the corresponding proof method.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
To long-term security and stability in the market to profit, the only alternative is to buy some in the formal intervention, this is the only way!
要想长期安全稳定的在市场中去获利，唯一的方案就是在正规买点介入，这是唯一的方法！
To long-term security and stability in the market to profit, the only alternative is to buy some in the formal intervention, this is the only way!
要想长期安全稳定的在市场中去获利，唯一的方案就是在正规买点介入，这是唯一的方法！
应用推荐