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

Approach of degenerate test set generation based on secure state transition

Ruan Jian Xue Bao/Journal of software 2010年第3期21卷 539-547页

作者： Cheng, Liang Zhang, Yang Feng, Deng-Guo Department of Electronic Engineering and Information Science University of Science and Technology of China Hefei 230027 China State Key Laboratory of Information Security Institute of Software The Chinese Academy of Sciences Beijing 100190 China

Based on predecessors' work, this propose the concept of degenerate test set (DTS) and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system. This approach is secure state transition-based for the first time and can generate an efficient test set by reducing the redundant system state transitions and similar properties with model checkers in the test case generation. Furthermore, it discusses the validity of the DTS when only some cases of the set fail and improve the DTS generation algorithm. The experiments prove that this approach can reduce the size of test set efficiently. © by Institute of software, the Chinese Academy of Sciences. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A naive feature selection method and its application in network intrusion detection

A naive feature selection method and its application in netw...

引用

International Conference on Computational Intelligence and security

作者： Chen, Tieming Pan, Xiaoming Xuan, Yiguang Ma, Jixia Jiang, Jie College of Computer Sci. and Tech. Zhejiang University of Technology Hangzhou 310023 China State Key Lab. of Software Development Environment Beihang University Beijing 100191 China Zhejiang Key Laboratory of Information Security Hangzhou310012 China

ISBN: (纸本)9780769542973

Network intrusion detection system needs to handle huge data selected from network environments which usually contain lots of irrelevant or redundant features. It makes intrusion detection with high resource consumption, as well as results in poor performance of real-time processing and intrusion detection rate. Without loss of generality, feature selection can effectively improve the classification model performance, study on the feature selection-based intrusion detection method is therefore very necessary. This paper proposes a simple and quick inconsistency-based feature selection method. Data inconsistency is firstly employed to find the optimal features, and the sequential forward search is then utilized to facilitate the selection of subset features. The tests on KDD99 benchmark data show that the proposed feature selection method can directly eliminate irrelevant and redundant features, without degenerating the classification performance. Furthermore, due to experiments, the intrusion detection performance using the proposed method is also a little advantageous than that with the general CFS method. © 2010 IEEE.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Multi-image based photon tracing for interactive global illumination of dynamic scenes

Multi-image based photon tracing for interactive global illu...

引用

作者： Yao, Chunhui Wang, Bin Chan, Bin Yong, Junhai Paul, Jean-Claude School of Software Tsinghua University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China Key Laboratory for Information System Security Ministry of Education of China Beijing China Tsinghua National Laboratory for Information Science and Technology Beijing China University of Hong Kong Hongkong Hong Kong INRIA France

Image space photon mapping has the advantage of simple implementation on GPU without pre-computation of complex acceleration structures. However, existing approaches use only a single image for tracing caustic photons, so they are limited to computing only a part of the global illumination effects for very simple scenes. In this paper we fully extend the image space approach by using multiple environment maps for photon mapping computation to achieve interactive global illumination of dynamic complex scenes. The two key problems due to the introduction of multiple images are 1) selecting the images to ensure adequate scene coverage;and 2) reliably computing ray-geometry intersections with multiple images. We present effective solutions to these problems and show that, with multiple environment maps, the image-space photon mapping approach can achieve interactive global illumination of dynamic complex scenes. The advantages of the method are demonstrated by comparison with other existing interactive global illumination methods. © 2010 The Eurographics Association and Blackwell Publishing Ltd.

关键词： Photons

来源：评论

学校读者我要写书评

暂无评论

Research on cooperative anti-worm system model based on distributed honeypots

Research on cooperative anti-worm system model based on dist...

引用

International Conference on Internet technology and Applications, ITAP 2010

作者： Zhang, Ran Yao, Weili Jia, Zhongtian School of Software Engineering Beijing University of Technology Beijing China Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781424451432

This paper presents a cooperative anti-worm system model based on distributed honeypots for local area network(LAN). This model deployes honeypot systems in DMZ, at the back of firewall and in the internal subnets respectively. Honeypot systems cooperate with intrusion detection system (IDS) and firewall to prevent the worm attack from outside or inside LAN by the monitor center. Honeypots are not only able to lure a variety of network worms and collect new worm data, but also able to take measures to prevent worms from further spreading. The monitoring center is mainly responsible for further analyzing the suspicious data send back by each honeypot system and extracting new type of worm attack patterns and then sending them to the firewall and ID agents. The firewall and ID agents accept the feedback from the monitoring center to update their own rules, so they are able to respond to the new type of worms. By collaborating between honeypots and other security systems, the system is able to quickly respond to a variety of worm attacks from outside or inside LAN and provide a lot of evidence for administrators. ©2010 IEEE.

关键词： Local area networks

来源：评论

学校读者我要写书评

暂无评论

Automatic bug triage using semi-supervised text classification

Automatic bug triage using semi-supervised text classificati...

引用

作者： Xuan, Jifeng Jiang, He Ren, Zhilei Yan, Jun Luo, Zhongxuan School of Mathematical Sciences Dalian University of Technology Dalian 116024 China School of Software Dalian University of Technology Dalian 116621 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)1891706268

In this paper, we propose a semi-supervised text classification approach for bug triage to avoid the deficiency of labeled bug reports in existing supervised approaches. This new approach combines naive Bayes classifier and expectationmaximization to take advantage of both labeled and unlabeled bug reports. This approach trains a classifier with a fraction of labeled bug reports. Then the approach iteratively labels numerous unlabeled bug reports and trains a new classifier with labels of all the bug reports. We also employ a weighted recommendation list to boost the performance by imposing the weights of multiple developers in training the classifier. Experimental results on bug reports of Eclipse show that our new approach outperforms existing supervised approaches in terms of classification accuracy.

关键词： Maximum principle

来源：评论

学校读者我要写书评

暂无评论

An extensible Hash function construction based on embedded chaos maps

An extensible Hash function construction based on embedded c...

引用

10th IEEE International Conference on Computer and Information technology, CIT-2010, 7th IEEE International Conference on Embedded software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010

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

ISBN: (纸本)9780769541082

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. © 2010 IEEE.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Spatial Variations in Particle Size and Magnetite Concentration on Cedar Beach:Implications for Grain-Sorting Processes,Western Lake Erie,Canada

引用

Acta Geologica Sinica(English Edition) 2010年第6期84卷 1520-1532页

作者： ZHANG Shuwei Maria T. CIOPPA ZHANG Shihong State Key Laboratory of Geological Processes and Mineral Resources China University of Geosciences Beijing 100083 China Department of Earth and Environmental Sciences University of Windsor Windsor ON N9B 3P4 Canada College of Computer Engineering and Software Taiyuan University of Technology Taiyuan 030024 China

This study examined spatial variations in the concentration,grain size and heavy mineral assemblages on Cedar Beach（Lake Erie,Canada）.Magnetic studies of heavy mineral-enriched,dark-reddish sands present on the beach showed that magnetite（～150μm） is the dominant magnetic *** magnetic susceptibility values defined three zones：a lakeward region close to the water line（Zone 1）,the upper swash zone（Zone 2） and the region landwards of the upper swash zone （Zone 3）.Zone 2 showed the highest bulk and mass susceptibility（κ,χ） and the highest mass percentage of smaller grain-size（250μm） fractions in the bulk sand ***（i.e.κandχ） values decreased and grain size coarsened from Zone 2 lakewards（into Zone 1） and landwards （into Zone 3）,and correlated with the distribution of the heavy mineral assemblage,most probably reflecting preferential separation of large,less dense particles by waves and currents both along and across the *** eroded western section of Cedar Beach showed much higher concentrations of heavy minerals including magnetite,and finer sand grain sizes than the accreting eastern section, suggesting that magnetic techniques could be used as a rapid,cost-effective way of examining erosion along sensitive coastline areas.

关键词： magnetic susceptibility magnetite concentration grain size grain-sorting processes Cedar Beach Lake Erie

来源：评论

学校读者我要写书评

暂无评论

The support of interface specifications in black-box components testing

The support of interface specifications in black-box compone...

引用

International Conference on Frontier of Computer Science and technology

作者： Jiang, Ying Li, Ying-Na Fu, Xiao-Dong Faculty of Information Engineering and Automation Kunming University of Science and Technology Kunming 650093 China Key Laboratory of High Confidence Software Technologies Peking University Ministry of Education Beijing 100871 China

ISBN: (纸本)9780769541396

The adequate testing of black-box components is an important basis before they will be reused in the approach of Component Based software Development. The test-data generation and test adequacy ensuring are difficult issues for the unavailability of the source code of black-box components. In this paper, an extended component interface specification model is proposed to support the component understanding, testing and reuse. Then the function of different kinds of specification elements in testing is defined. Based on the syntactic and semantic specifications, the proposed test-data generation method can produce test suite meeting a certain mutation score, which is viewed as a kind of effective test adequacy criterion. Finally, some experiments were carried and the results have shown that the different kinds of specification can support the testing of black-box components. © 2010 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

An approach for design and formal verification of safety-critical software

An approach for design and formal verification of safety-cri...

引用

2010 International Conference on Computer Application and System Modeling, ICCASM 2010

作者： Ma, Wei-Gang Hei, Xin-Hong School of Computer Science and Engineering Xi'an University of Technology Xi'an Shaanxi 710071 China Key Laboratory of Computer Networks and Information Security Xidian University Ministry of Education Xi'an Shaanxi 710071 China State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing 100044 China

ISBN: (纸本)9781424472369

A modeling and verification methodology is presented for railway interlocking system which is regarded as a safety-critical system. The methodology utilizes UML (Unified Modeling Language) to model the function requirement and FSM (Finite State Machine) to verity the safety requirements of the specification. The device specifications of railway interlocking system are modeled with UML, and dynamic behaviors of the device and whole system are modeled with FSM, the safety specification is translated LTL (Linear Temporal Logic) and analyzed with NuSMV. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signaling system.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

Semantic approach for service oriented requirements modeling

引用

作者： Zhao, Bin Cai, Guang-Jun Jin, Zhi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of the Chinese Academy of Sciences Beijing China Software Engineering Institute Peking University Beijing China

ISBN: (纸本)3642163262

Services computing is an interdisciplinary subject that devotes to bridging the gap between business services and IT services. It is recognized that Requirements engineering is fundamental in implementing the service oriented architecture. It takes traditional RE techniques great efforts to model business requirements and search for the appropriate services. In this paper, we propose an ontological approach to facilitate the service-oriented modeling framework. The general idea is to establishing a common semantic language to describe both the business requirements and services capabilities based on their effects on the environment. After that, we used a case study to illustrate this method and showed that substantial efforts can be spared to construct a service model from business requirements. © 2010 IFIP.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：