检索结果-南通市图书馆

A New Process and Framework for Direct Anonymous Attestation Based on Symmetric Bilinear Maps

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2011年第5期16卷 369-375页

作者： TAN Liang1,2. ZHOU Mingtian3 1. College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan, Sichuan Normal University, Chengdu 610066, Sichuan, China 2. Institute of computing {2., Chinese Academy of Sciences, Beijing 100190, China 3. School of Computer Science and Engineering, University of Electronic Science and {2. of China, Chengdu 610054, Sichuan, China College of Computer/Key Lab of Visualization in Scientific computing and Virtual Reality of Sichuan Sichuan Normal University Chengdu Sichuan China Institute of computing technology Chinese Academy of Sciences Beijing China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu Sichuan China

For the problem of the original direct anonymous attestation （DAA） scheme＇s complexity and great time consumption, a new DAA scheme based on symmetric bilinear pairings is presented, which gives a practical solution to ECC-based TPM in protecting the privacy of the TPM. The scheme still includes five procedures or algorithms： Setup, Join, Sign, Verify and Rogue tagging, but gets rid of zero-knowledge proof and takes on a new process and framework, of which the main operations are addition, scalar multiplication and bilinear maps on supersingular elliptic curve systems. Moreover, the scheme adequately utilizes the properties of bilinear maps as well as the signature and verification of the ecliptic curve system itself. Compared with other schemes, the new DAA scheme not only satis- fies the same properties, and shows better simplicity and high effi- ciency. This paper gives not only a detailed security proof of the proposed scheme, but also a careful performance analysis by comparing with the existing DAA schemes.

关键词： direct anonymous attestation bilinear map privacy authentication trusted computing platform trusted platform module

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2006年第6期49卷 792-820页

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

在线全文

学校读者我要写书评

暂无评论

针对小波域量化隐藏方法的图像监测技术研究

通信学报 2004年第7期25卷 71-77页

作者：刘绍辉姚鸿勋高文姜峰哈尔滨工业大学计算机科学与技术学院黑龙江哈尔滨150001

基于对图像小波变化后各子带系数的不同统计特性,提出了一种针对小波域信息隐藏算法的新型图像隐写术分析技术。通过对原始图像和隐藏信息后的图像的小波变换系数子带直方图的分析,得出了小波域信息隐藏对子带系数的改变特性。进一步对... 详细信息

基于对图像小波变化后各子带系数的不同统计特性,提出了一种针对小波域信息隐藏算法的新型图像隐写术分析技术。通过对原始图像和隐藏信息后的图像的小波变换系数子带直方图的分析,得出了小波域信息隐藏对子带系数的改变特性。进一步对系数进行傅立叶变换,从而量化信息隐藏对系数的影响程度。实验结果表明该方法适用于小波域量化隐藏信息算法的检测。

关键词：隐写术分析信息隐藏小波变换傅立叶变换

在线全文

学校读者我要写书评

暂无评论

网络管理中事件关联检测机制的研究

通信学报 2004年第3期25卷 73-81页

作者：王平李莉赵宏东北大学软件中心中国科学院沈阳计算所

网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于Petri Net的事件关联检测机制,实现了基于事件内容的细粒度关联检测,并且在事件检... 详细信息

网络事件的关联检测是网络管理需要解决的一个关键问题,本文根据分布式网络管理的特点,首次明确定义了网络事件的基本关联关系,在此基础上提出了一种基于Petri Net的事件关联检测机制,实现了基于事件内容的细粒度关联检测,并且在事件检测中充分考虑了时间因素,有效地提高了事件关联检测的准确性。

关键词：网络管理网络事件事件关联 Petri网

在线全文

学校读者我要写书评

暂无评论

一种面向分布式网络管理的自适应可扩展模型

通信学报 2002年第12期23卷 118-128页

作者：王平赵宏李莉东北大学软件中心中国科学院沈阳计算所

本文针对大规模分布式网络的特点,提出了一种灵活、动态、自适应伸展性网络管理方案。它采用层次型体系结构,支持多个管理域的分布式网络管理,适应了大规模网络的规模可变性和弹性的特点。为了解决网络事件大量性、多样性和相关性的问题... 详细信息

本文针对大规模分布式网络的特点,提出了一种灵活、动态、自适应伸展性网络管理方案。它采用层次型体系结构,支持多个管理域的分布式网络管理,适应了大规模网络的规模可变性和弹性的特点。为了解决网络事件大量性、多样性和相关性的问题,本文将网络事件分为简单事件和复合事件两种类型,采用层次型事件处理机制和基于动态时间窗的事件合成方法,保证了事件检测的可靠性,平衡了系统负载,降低了网络资源的占用率。

关键词：分布式网络管理域网络事件事件合成动态时间窗动态配置

嵌入式Linux及其在铁路无线通信中的应用

在线全文

学校读者我要写书评

暂无评论

铁路计算机应用 2004年第7期13卷 46-48页

作者：曾宁晖董宁蒋秋华贾利民北京理工大学信息科学技术学院北京100081 中国铁道科学研究院电子计算技术研究所北京100081

介绍嵌入式Linux 操作系统的特点、发展及应用现状。结合目前我国铁路无线通信的现状,给出应用实例。展望今后嵌入式 Linux 在铁路无线通信领域的广阔应用前景。

关键词：嵌入式操作系统 Linux 铁路无线通信应用

在线全文

学校读者我要写书评

暂无评论

信号采集系统中自动增益电路的设计

铁路计算机应用 2004年第2期13卷 1-3页

作者：袁夕君张卫民史天运北京理工大学北京100081 铁道科学研究院电子计算技术研究所北京100081

简要分析了信号采集系统的组成及自动增益控制电路(AGC)的工作原理,重点阐述两种典型AGC电路的硬件实现方案,对于推进自动增益电路的实用化具有重要意义。

关键词：信号采集系统自动增益电路芯片SA571 模拟信号

“5432.略”:国家信息安全保障体系框架研究

在线全文

学校读者我要写书评

暂无评论

通信学报 2004年第7期25卷 1-9页

作者：王娜方滨兴罗建中刘勇国家发展与改革委员会高技术产业司北京100824 中国科学院计算技术研究所北京100080 国家计算机网络应急技术处理协调中心北京100029

信息安全的问题已经影响到了国家安全,因而需要从战略上研究国家信息安全保障体系的框架。本文从信息安全的表现形式入手,分别给出了信息安全在技术与社会层面上的表现形态,以及与信息安全相关的信息网络的几个基本规律。在此基础上,提... 详细信息

信息安全的问题已经影响到了国家安全,因而需要从战略上研究国家信息安全保障体系的框架。本文从信息安全的表现形式入手,分别给出了信息安全在技术与社会层面上的表现形态,以及与信息安全相关的信息网络的几个基本规律。在此基础上,提出了“5432.国家信息安全战略:从目的、任务、方式、内容的角度,阐述了保障信息与信息系统的机密性、完整性、可用性、真实性、可控性五个信息安全的基本属性;建设面对网络与信息安全的防御能力、发现能力、应急能力、对抗能力四个基本任务;依靠管理、技术、资源等三个基本要素;建设管理体系、技术体系两个信息安全保障的基本体系,最终形成在这一战略指导思想下的国家信息安全保障体系的框架。

关键词：信息安全保障战略

Research on theory and key technology of trusted computing platform security testing and evaluation

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2010年第3期53卷 434-453页

作者： ZHANG HuanGuo1,2. YAN Fei1,2. FU JianMing1,2. XU MingDi1,2. YANG Yang1,2. HE Fan1,2.& ZHAN Jing1,2.1School of Computer, Wuhan University, Wuhan 430072. China 2.ey Laboratory of Aerospace Information Security and Trusted computing, Ministry of Education, Wuhan 430072. China School of Computer Wuhan University Key Laboratory of Aerospace Information Security and Trusted computing Ministry of Education

Trusted computing has become a new trend in the area of international information security, and the products of trusted computing platform begin to be used in application. Users will not use the products of information security, unless it goes through the testing and evaluation. Here we concentrate on the testing and evaluation problem of trusted computing platform, begin with constructing proper formalization model of trusted computing platform for testing, and establish a mathematical chain of trust model based on SPA. Moreover, we give a verification method of composite characteristics and find the potential factors threatening the trusted system in the process of remote attestation through analysis. For trusted software stack, we study the problem of automatic generation of test case and propose an improved method of generating the random test case, to raise the quality of test case. Finally, we give a prototype system of trusted computing platform and the actual test data related. The result demonstrates that there exist some flaws in the architecture of the present TCG computing platform. At the same time, some flaws are found in the products of existing trusted computing platform, thus a basis is laid for the improvement and development of trusted platform technology and its products.

关键词： information security trusted computing trusted computing platform testing and evaluation