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.
应该配备正式的流程，其中应包含安全复查，以确定应用程序将被允许使用哪些权限。
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.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
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.
密码协议必须满足安全属性的需求，对密码协议进行形式化规范需要证明其满足该属性。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
Propose an object-oriented and formal access control model for developers to design security mechanism of systems and for users to perform their duties securely and efficiently.
采用对象技术提出了一个通用的访问控制模型，提供应用级的访问控制机制和安全管理方法。
Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.
最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。
In the third chapter, the author discusses in detail the formal object of security rights.
在论文第三章中，作者对担保物权的形式客体进行了较为详细的考察。
Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
But, in essence, what the seller holds is only formal ownership, and what he really holds is the security interest.
实质上，出卖人只能保留形式上的“所有权”，其真正享有的是一种担保权益。
But, in essence, what the seller holds is only formal ownership, and what he really holds is the security interest.
实质上，出卖人只能保留形式上的“所有权”，其真正享有的是一种担保权益。
应用推荐