查询词典 network security

The company CMG brand security products, the Ministry of Public Security of the State Security System Product Quality Supervision and Testing Center detection test pass products through national certification mandatory 3 C, and in April 2004 was named " China Security famous brands."

公司生产的康联牌系列安防产品，经国家公安部安全防范系统产品质量监督检验测试中心检测检测合格，系列产品通过国家强制性3C认证，并于2004年4月被评为"中国安防知名品牌"。

In Chapter ONE, the paper raises the five mainfunction of modem security market, introduces the four developing stages of our country"s security market; from five aspects he describer the present situation of China"s security market development, and the problem which is still existing in our countrys security market.

第一：提出了现代证券市场的5种主要功能，划分了我国证券市场发展的4个阶段，并且从5个方面叙述了中国证券市场发展的现状和存在的问题。

At the same time, accompanied with the transformation from planned economy system to market economy system, our countrys social security system also exists some problems, such as the nation undertaking the whole thing, the dissiliency of managing system ,lag of the security item , incompletion of the security range ,faultiness of security fund management ,slowness of the social service development, laciness of the normal lawmaking etc.

同时，伴随着计划经济体制向市场经济体制转轨，我国社会保障制度也存在国家包揽过多，管理体制不顺，保障项目滞后，保障范围不全，保障基金管理不到位，社会化服务发展缓慢，立法尚待规范等问题。

On this basis,the thesis proceeds from new problem in current economic development and developing reality of the basic social security of urban and rural areas in China.According to the reality of national conditions and the experience of basic social security of the western developed countries and Chinese basic social security and the next development trend of construction of China,the thesis used qualitative analysis and quantitative analysis means to study dualization social security system.

本文基于对有关社会保障理论的介绍、评析与我国社会保障实践相结合的基础之上，采用理论联系实际的方法，通过对我国城乡二元化社会保障实践的经验和教训的总结，运用社会主义市场经济理论和社会保障科学理论，结合我国目前农村经济运行中出现的新情况、新问题，提出改革和创新的新模式、新思路，寻求符合中国国情的统筹城乡二元化社会保障制度的新体制。

City labor and social security, finance, social security three departments jointly study and formulate a program of preserving and increasing the value of Social Security Funds to apply for social security fund investment operations pilot program, the working, respectively, by the City Social Insurance Fund Oversight Committee next three meetings and four municipal 33 executive meeting session is passed, an application for the future pilot cities to prepare.

我市劳动保障、财政、社保三个部门共同研究制定了社保基金保值增值方案、申请社保基金投资运营试点方案，该工作分别经市社会保险基金监督委员会一届三次会议和市政府四届三十三次常务会议通过，为今后申请试点城市做好准备。

In the near term, the priority research areas are:（1）Method and model of ecological security assessment for ecological security pattern;（2）Land ecological security pattern of different ecological friable areas;(3) Spatial explicit model of land ecological security pattern;(4) Scenario simulation of regional land ecological pattern.

提出近期的研究重点主要包括：（1）面向生态安全格局设计的生态安全评价方法与模型；（2）不同类型生态脆弱地区的土地生态安全格局；（3）土地生态安全格局的空间显示模型；（4）区域土地生态安全格局情景模拟。

This makes the definition even not equivalent to the indistinguishability, which contradicts with what has been widely acknowledged.(3) One-time and multi-message hybrid encryptions is separated, especially the security definitions for them. For the most direct paradigm of hybrid encryption PKE+SKE, the IND-CCA_I security when it is a one-time one and the IND-CCA5 security when it is a multi-message one are proved respectively. For both of them, the necessity of the security requirement for PKE and SKE is discussed.(4) For the KEM+SKE multi-message hybrid paradigm, i.e.

3区分了一次混合加密和多消息混合加密，特别是它们的安全性定义，提出了混合加密的最直接实现范例PKE+SKE，分别证明了它作为一次混合加密时能够达到IND-CCA_I安全性，作为多消息混合加密时能够达到IND-CCA_S安全性，并分别讨论了此时对PKE和SKE的安全性要求的必要性。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

At present, in the course of managing and punishing, by the reason of legal system, a great deal of factors of subject, inside mechanism, external environment condition, manage punishment can"t suit perfecting the situation of socialist market economy, the structuring, the harmonious society with our country. The question of the following several respect has appeared in administrative practices of public security behavior:First, it is not clear to manage the value orientation punished, motive of enforcing the law is fuzzy, the urgent work trends towards the favourable phenomenon generally; Second, the range of containing punished in public security management loses contact with reality, smudgy, the basis to punish is ambiguously in public security management; Third, violate the proper principle of administrative penalty, Punish lopsidedly and heavily and lopsidedly and lightly; Fourth, manage and punish and punish doing one"s best to the unit in public security; Not tight when fifth , manage the procedure ofpunishing in public securitying, the operating is not strong.

当前公安机关在实施治安管理处罚中，由于法律制度、执法主体、内部机制、外部环境诸多因素的影响，与我国健全社会主义市场经济、构建和谐社会的形势不适应，在公安行政实践中出现了以下几个方面的问题：一是实施治安管理处罚的价值取向不明，执法动机模糊，急功趋利现象普遍；二是治安管理处罚的涵盖范围脱离实际、模糊不清，治安管理处罚依据含糊；三是违反行政处罚适当原则，处罚畸重畸轻；四是治安管理处罚对单位处罚不力；五是治安管理处罚程序不严密，操作性不强。

Control, preventability, improved measures and industrial injury insurance consist of the security system of safety in production together ; The social restriction mechanism of the industrially developed country plays a powerful role in the safety in production, and unsafe enterprises will face the sanction and restriction in many aspects, such as law, administration, public opinion, banks, insurance, trade unions and etc ; have set up relatively perfect and effective regulation and standard system; funds and scientific research on security of employment security control organizations mainly come from funds allocated by government while security funds input by enterprises are determined independently by enterprises .

三、中国安全生产管制现状分析我国实行市场经济以来，经济持续高速发展，国家经济实力显著增强。但与此同时，安全生产形势异常严峻。

By utilizing the complex multiplication property of the curves and using a modulo reduction and Frobenius expansion technique, it is shown that there is a fast point multiplication method without precomputation on the curves, which is 6 times faster than the ordinary repeated-double-add method.

结果显示，利用这类曲线的复乘性质，使用模约减和Frobenius展开技巧，这类曲线上存在一种不带预计算的快速点乘算法，其运算速度是通常的重复加倍-点加算法的6倍。

In over-all appearance the head is of medium width.

整个头部的外观是中等宽度。