查询词典 security

This article analyzes the character of social security tax from the effect of income variation,the use of funds,the function and the effect of fair and effeciency resulting from the particular constitution of social security tax and incom tax.

现阶段，我国主要通过征收社会保险费来筹集社会保障资金，这种筹资方式在运营和管理过程中面临着管理不规范、覆盖面过窄、征收刚性不强等一系列问题，使我国社会保障资金来源缺乏应有的保障，资金管理和收支平衡存在较大的困难。

Authentication Test is a new type of analysis and design method of security protocols based on Strand space model, and it can be used for most types of the security protocols. However, as a Strand space model, it is inclined to be used for the proof of correctness, and is relatively weaker for incorrectness analysis.

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术，可用于大部分协议的关联属性的分析；但是与Strand空间模型一样，它主要用于协议正确性证明，在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱。

After analyzing the current situation of Indian food security, this paper probed India's three policy instruments used to achieve national food security: producer price support policy, agriculture input subsidy policy and food distribution policy.

本文从分析印度粮食安全的现状入手，重点研究了印度为实现国家粮食安全而采取的三种政策手段：生产者价格支持政策、农业投入补贴政策和粮食分配政策。

The presented security adequacy of unilateral authentication secure, mutual authentication secure, unilateral session key secure, or mutual session key secure is proved not only substantial but also necessary to meet 4 security definitions respectively under the computational model of matching conversation and indistinguishability.

在基于匹配对话和不可区分性的计算模型下，证明了给出的保证密码协议单方认证安全、双方认证安全、单方密钥安全和双方密钥安全的充分必要条件分别满足4个可证安全定义。

D. Pointcheval, and J. Stern. Security proofs for signature schemes. Advances in Cryptology-Eurocrypt '96, LNCS1070, 387-398, Springer-Verlag, 1996. 4. 4. Y. Watanabe, J. Shikata, and H. Imai. Equivalence between semantic security and indistinguishability against chosen ciphertext attacks. PKC 2003, LNCS 2567, 71–84, Springer-Verlag, 2003. 5. 5. M. Bellare, R. Canetti and H. Krawczyk.

课内教学活动深入理解可证明安全的基本思想和原理，灵活使用可证明安全的方法和工具分析典型的密码方案，培养和锻炼严密的逻辑思维能力和书面表达能力；流利的口头讲解能力和学术辩论能力；强烈的探索创新能力和团队合作能力。

But they also understood well, long before the idea of human security gained currency, the indivisibility of security, economic development and human freedom.

但他们也深知，在人类安全这一想法广为人知之前很久，安全、经济发展和人类自由已不可分割。

The security of this scheme is based on the infeasibility of the ComputationalDiffie-Hellman problem and is formally proven under the security model of certificateless proxy signature schemes.

其安全性基于计算Diffie-Hellman 问题的困难性，并在此安全模型下给出正式的安全证明。

Databases security is an important research area of information security.

数据库安全技术是信息安全的重要研究领域。

Besides security of information system, security of information content is also of great importance.

随着信息化的发展，信息安全问题日益突出。

The integer solution of network MIS security, which is analyzed in the paper ,is essentiality to the aspect of security, integrality, usability, controlling, auditing of network system.

第2章 分析了当前网络信息系统中存在的安全问题，总结了局域网和广域网上可能会遭受到的的安全风险和安全威胁。

Use nationalization degree and the relationship that commercialize degree, condition of calculable market economy plays scope of optimal and state-owned economy.

利用国有化程度与市场化程度的关系，可计算市场经济条件下最佳国有经济规模。

The kinds of extractant also effected desulfurization rate .

萃取剂对脱硫率的影响也很大，乙二胺的萃取效果优于甲醇的。