检索结果-内蒙古大学图书馆

2010 International Forum on Information technology and Applications, IFITA 2010

作者： He, Jun Li, Ximei Li, Lijuan Tang, Chunming Computer and Information Engineering Department HuaiHua Vocational and Technical College Huaihua Hunan 418000 China School of Computer and Communication Hunan University Changsha Hunan 410082 China School of Mathematics and Information Science Guangzhou University Guangzhou Guangdong 510006 China State Key Laboratory of Information Security Institute of Software Science CAS Beijing 100080 China

ISBN: (纸本)9780769541150

Based on the shortcomings of WCF scheme, this paper proposed an improved forward-secure proxy signature scheme. The new scheme does not evolve the authorized keys, but the proxy signer's private key, making it have the forward security. Even if the proxy signer's signature key at a certain time segment is given away, the attacker could not get the proxy signer's signature key in the previous time segment. Under these assumptions of strong RSA problem, computational Diffie-Hellman problem being hard, and discrete logarithm problem being hard in a finite field, the scheme has favorable security. © 2010 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Towards Runtime Plug-and-Play software

Towards Runtime Plug-and-Play Software

引用

International Conference on Quality software

作者： Tao Wang Xiaowei Zhou Jun Wei Wenbo Zhang State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences Beijing China Chinese Academy and Sciences Beijing China Chinese Academy of Sciences Beijing Beijing CN Technology Center of Software Engineering China

ISBN: (纸本)9781424480784

As applications grow more and more complex, the current software faces a great challenge in dynamism. This paper proposes to modernize legacy software towards runtime plug-and-play architecture using service-oriented component model. Our object is to provide runtime plug-and-play feature for software to simplify development and adapt to changing execution environment. We propose a two-stage modernization approach and take OSGi as the foundation framework. After designing software architecture, modernization principles are discussed, and the presented approach is guided and validated by a case study involving the modernizing of a Java EE application server.

关键词： software Java Runtime Servers Computer architecture Containers Computational modeling

来源：评论

学校读者我要写书评

暂无评论

The Transition Between Sharp and Rounded Features and the Manipulation of Incompatible Boundary in Filling n-sided Holes

The Transition Between Sharp and Rounded Features and the Ma...

引用

International Conference on Shape Modeling and Applications

作者： Kan-Le Shi Jun-Hai Yong Peng Liu Jia-Guang Sun Jean-Claude Paul Key Laboratory of Information System Security Ministry of Education of China Beijing China Department of Computer Science and Technology Tsinghua University Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China School of Software Tsinghua University Beijing China Tsinghua University Beijing Beijing CN INRIA France

ISBN: (纸本)9781424472598;9780769540726

N-sided hole filling plays an important role in vertex blending. Piegl and Tiller presented an algorithm to interpolate the given boundary and cross-boundary derivatives in B-spline form. To deal with the incompatible cases that their algorithm cannot handle, we propose an extension method to manipulate the transition between sharp and rounded features. The algorithm first patches n crescent-shaped extended surfaces to the boundary with G 2 continuity to handle incompatibility problem in the corners. Then, we compute the inner curves and the corresponding cross-boundary derivatives fulfilling tangent and twist compatibilities. The generated B-spline Coons patches are G 1 -continuously connected exactly, and have ε-G 1 continuity with the extended surfaces. Our method improves the continuity-quality of the shape and reduces the count of the inserted knots. It can be applied to all G 0 -continuous boundary conditions without any restrictions imposed on the boundary or cross-boundary derivatives. It generates better shapes than some popular industrial modeling systems on these incompatible occasions. Some examples underline its feasibility.

关键词： Filling Spline Shape Educational technology Laboratories Computer science Information science Information systems Computer security Information security

来源：评论

学校读者我要写书评

暂无评论

Nova: A Robustness-oriented Byzantine Fault Tolerance Protocol

Nova: A Robustness-oriented Byzantine Fault Tolerance Protoc...

引用

The Ninth International Conference on Grid and Cloud Computing(第九届网格与云计算国际学术会议 GCC 2010)

作者： Xiang Pei Yongjian Wang Zhongzhi Luan Sino-German Joint Software Institute School of Computer Science and Engineering Beihang University 100191 Beijing Beijing Key Laboratory of Network Technology Beihang University 100191 Beijing

With the increased complexity, malicious faults have become an important reasons that affect the reliability of the distributed system, especially the web-scale infrastructures, i.e. Amazon S3, Google AppEngine etc. Most such systems assume benign fault model which can't depict the malicious actions. The goal of Byzantine Fault Tolerance protocol (BFT for short) is to mask the malicious behaviors and it has been proved that some new proposed BFTs are suitable to support practical applications. But these BFTs still lack in robustness, a simple fault injection may cause significantly decrease in throughput or run in low throughput without violating the BFT safety property. We propose a new robustness-oriented BFT named Nova. Experiments show Nova has comparable throughput as PBFT in normal case and behave stably under the malicious attack. Compared with other BFTs, Nova can support practical applications more effectively.

关键词： Byzantine Fault Tolerance Equivocation Robustness

来源：评论

学校读者我要写书评

暂无评论

A Petri Net-Based Method for Data Validation of Web Services Composition

A Petri Net-Based Method for Data Validation of Web Services...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： Chunxiang Xu Wanling Qu Hanpin Wang Zizhen Wang Xiaojuan Ban Institute of software School of EECS Peking University Beijing China Ministry of Education Key laboratory of High Confidence Software Technologies China Information Engineering School University of Science and Technology Beijing China

For some time, the modeling and verification of web services composition are focused on control flow. Recent years, data validation has gained researchers' attention too, as it is important to the correct execution of the composed web service. To verify data-related requirements of web services composition, we present a Petri net-based method for the data validation of web services composition developed with Web Service Business Process Execution Language. Data-flow related aspects of the WS-BPEL process are described with WS-CPN, which is a special kind of Colored Petri net supporting the description of XML Schema types. In WS-CPN, data types are described by CPN ML, a description language for Colored Petri net. We present WS-CPN models for various activities of a WS-BPEL process, which can be combined together to obtain the WS-CPN model for the entire composition process. Data validation problems in web services composition including redundant data, lost data, inconsistent data and misdirected data are discussed, and the methods for validating these problems are given based on WS-CPN.

关键词： XML Image color analysis Web services Data models Finite element methods Argon Analytical models

来源：评论

学校读者我要写书评

暂无评论

An Extensible Hash Function Construction Based on Embedded Chaos Maps

An Extensible Hash Function Construction Based on Embedded C...

引用

International Conference on Computer and Information technology (CIT)

作者： Xiaohong Zhang Yixian Yang Lixiang Li Haipeng Peng School of Information Engineering Jiangxi University of Science and Technology Ganzhou China Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China

Based on chaotic Tent map, this paper proposed a new 5×L (L≥32) bits extensible Hash function with symmetric keys. The structure only performed Boolean algorithm and shift operation. In order to generate fast diffusion, confusion and avalanche effect, Chaos series were embedded in the whole algorithm. The security against statistical attack, birthday attack were analyzed in detail. Many simulations were shown that the Hash value was highly sensitive to initial condition and parameter, and also to a message bit. Performance comparisons with MD5 showed that this scheme was a feasible scheme, and can be applied in e-commerce.

关键词： Sensitivity Chaotic communication Bismuth Cryptography Computers

来源：评论

学校读者我要写书评

暂无评论

Performance enhancement of localization in wireless sensor network by self-adaptive algorithm based on difference

Performance enhancement of localization in wireless sensor n...

引用

Global Mobile Congress

作者： Guo-fang Dong Liu Chang Gao Fei Wan-sheng Wang Xiaoling Niu Peng Gong Key Laboratory of Wireless Sensor Networks Yunnan Nationalities University Yunnan China School of Software and Information Management Beijing City University China National Key Laboratory of Mechatronic Engineering and Control Beijing Institute of Technology Beijing China

In this paper, we present a self-adaptive localization algorithm based on difference for the node localization in wireless sensor network. We first divide the sensing area into several small regions according to the density of unknown nodes. Then, we distribute the beacon nodes within the sensing area in a reasonable manner. The measured errors of estimated location in beacon nodes are considered as the adjusted values and are broadcasted to the adjacent unknown nodes. Based on the broadcasted adjusted values, the unknown nodes adjust their relative position information. The simulation results show that with the proposed algorithm the node localization errors can be reduced and the accuracy of localization is greatly increased.

关键词： Force Wireless sensor networks Sensors Mobile communication Accuracy Simulation Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Tourism information navigation system based on SoftMan

Tourism information navigation system based on SoftMan

引用

International Conference on Control, Automation and Systems ( ICCAS)

作者： Yipeng Zhou Junping Du Yang Yang Guangping Zeng Xuyan Tu Information Engineering School University of Science and Technology Beijing Beijing China Computer and Information Engineering School Beijing Technology and Business University Beijing China Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China

This paper provides a navigation system model and some critical implementation techniques. Softman is introduced into this system, and its migration model and strategy are all proposed, which can improve the Softman's adaptability in complex network and host environment. A feature mapping and concept expansion method is also presented to describe the semantic of multimedia information and establish concept network using ontology. The implementation of tour planning on PDA demonstrates the validity of proposed methods.

关键词： Navigation Semantics Planning Ontologies Personal digital assistants Multimedia communication Servers

来源：评论

学校读者我要写书评

暂无评论

Stability Analysis of Continuous-time Iterative Learning Control Systems with Multiple State Delays

引用

自动化学报 2010年第5期36卷 696-703页

作者： MENG De-Yuan JIA Ying-Min DU Jun-Ping YU Fa-Shan The Seventh Research Division Beihang University (BUAA) Beijing 100083 P. R. China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 P.R. China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 P. R. China

This paper presents a stability analysis of the iterative learning control (ILC) problem for continuous-time systems with multiple state delays, especially when system parameters are subject to polytopic-type uncertainties. Using the two-dimensional (2-D) analysis approach to ILC, the continuous-discrete Roesser's type linear systems are employed to describe the entire learning dynamics of time-delay systems (TDS) with the development of an expanding operator. Based on such Roesser systems, the 2-D system theory is first used to develop a necessary and sufficient condition for the asymptotic stability of ILC, and then the robustH∞ control theory is combined to provide a sufficient condition in terms of linear matrix inequalities (LMIs) for the monotonic convergence of ILC. It is shown that learning gains can be determined by solving LMIs, which ensure the control input error converges monotonically to zero as a function of iteration. Simulation results show that a robust asymptotically stable ILC scheme can become robustly monotonically convergent by adding the P-type learning gains that satisfy a set of LMIs, which can also improve the convergence rate greatly.

关键词：连续系统稳定性自动化 TDS

来源：评论

学校读者我要写书评

暂无评论

Incremental intrusion detecting method based on SOM/RBF

Incremental intrusion detecting method based on SOM/RBF

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Li-Ye Tian Wei-Peng Liu Department of Electronic and Information Engineering Naval Aeronautical and Astronautical University Yantai China Trusted Computing Laboratory College of Computer Beijing University of Technology Beijing China The State Key Laboratory of Information Security GUCAS Beijing China

An incremental intrusion detecting model is proposed in this paper. This model integrates unsupervised Self Organizing Map and supervised Radial Basis Function to complete incremental learning. Self Organizing Map can get new type intrusion information and generate new nodes in Radial Basis Function. By this model, intrusion of unknown type can be detected online. Experiment results show our model could detect new type intrusions without forgetting the old ones.

关键词： Artificial neural networks Neurons Training Machine learning Intrusion detection Cybernetics Tin

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：