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

2012(第五届)全国网络与信息安全学术会议

作者： WANG Hao 王浩 CHEN Pin 陈平 MAO Bing 茅兵 State Key Laboratory for Novel Software Technology Department of Computer Science and TechnologyNaj 软件新技术国家重点实验南京大学计算机科学与技术系南京 210046

从内存镜像中识别内核数据结构的技术广泛应用于安全领域，具有非常重要的作用。当前的一种重要取证方法即指针指向图Signature存在void指针、NULL指针、同构等问题。针对这些问题，提出了一种新的内核数据结构取证方法。该取证方法区... 详细信息

从内存镜像中识别内核数据结构的技术广泛应用于安全领域，具有非常重要的作用。当前的一种重要取证方法即指针指向图Signature存在void指针、NULL指针、同构等问题。针对这些问题，提出了一种新的内核数据结构取证方法。该取证方法区分双向链表指针与一般指针，在Signature的构造过程中优先选择双向链表指针。与以前的技术相比，依据新取证方法构建的识别器具有识别精度高、识别速度快、鲁棒性强等优点。

关键词：图像识别数据结构计算机取证内存分析

来源：评论

学校读者我要写书评

暂无评论

A lock-free solution for load balancing in multi-core environment

A lock-free solution for load balancing in multi-core enviro...

引用

International Workshop on Intelligent Systems and Applications

作者： Liu, Xi Pan, Lei Wang, Chong-Jun Xie, Jun-Yuan National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 China Nanjing University Nanjing 210093 China

ISBN: (纸本)9781424498574

Load balancing device is an important part of cloud platform. One of the most common applications of load balancing is to provide a single powerful virtual machine from multiple servers. In multi-core environment, the load balancing device can run multiple physically parallel load-balancing processes to increase overall performance. An important issue when operating a load-balanced service is how to send all requests in a user session consistently to the same backend server, i.e. session maintaining. Most of multiprocessing load balancing solutions use shared memory and lock when manage session. By modifying Linux kernel, we avoid using shared memory and implement a lock-free multiprocessing load balancing solution. © 2011 IEEE.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

Network survivability against region failure

Network survivability against region failure

引用

2011 IEEE International Conference on Signal Processing, Communications and Computing, ICSPCC 2011

作者： Li, Ran Wang, Xiaoliang Jiang, Xiaohong Department of Commanding Information System Xi'an Communication Institute Shaanxi China State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University China Future University Hakodate Hokkaido Japan

ISBN: (纸本)9781457708947

Communication networks are now facing more and more potential large scale region threats such as natural disaster and physical attack. Under such region failure scenarios, numerous network elements within a geographically correlated region may be simultaneously destroyed, resulting a dramatical compromise or even breakdown of overall network connectivity. In this paper, we study the network survivability against a random region failure, which is modeled as a circular cut residing on the network. For a network adopting the cost effective multiple path routing mechanism, we examine how the network throughput performance degrades with region failure under the region-disjoint and node-disjoint routing constraints. The corresponding traffic throughput optimization problem and linear programming formulation are also addressed. We further discuss the problem of upgrading network with the minimal cost when the link capacity is not sufficient to protect the network against region failure. © 2011 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Line drawing technique for building images

引用

Ruan Jian Xue Bao/Journal of software 2012年第SUPPL.2期23卷 34-41页

作者： Liu, You-Quan Wu, Zong-Sheng Wang, Shan-Dong Xue, Ru Wu, En-Hua School of Information Engineering Chang'an University Xi'an 710064 China Faculty of Science and Technology University of Macau Macao China State Key Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100190 China Tibet University for Nationalities Xianyang 712082 China

This paper presents an automatic line-drawing method designed for building images. The fast line segment detector with a false detection control and detects the outline and the door, or window edge features detected, which are used in the construction of edge tangent flow. Based on the modified ETF, the Difference-of-Gaussians is used to render the final line drawing styles. This scheme gives clear line features for building images without much noise, which is also simple and easy to implement. The test results verify the effectiveness of the presented algorithm. © Copyright 2012, Editorial department of Journal of software.

关键词： Rendering (computer graphics)

来源：评论

学校读者我要写书评

暂无评论

Assessing network vulnerability under probabilistic region failure model

Assessing network vulnerability under probabilistic region f...

引用

International Conference on High Performance Switching and Routing

作者： Wang, Xiaoliang Jiang, Xiaohong Pattavina, Achille State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University China Future University Hakodate Hokkaido Japan Department of Electronics and Information Politecnico di Milano 20133 Milano Italy

ISBN: (纸本)9781424484560

The mission critical network infrastructures are facing potential large region threats, both intentional (like EMP attack, bomb explosion) and natural (like earthquake, flooding). The available research on region failure related vulnerability studies generally adopt a kind of simple deterministic region failure models, which can not capture some important features of real region failure scenarios, where a network component in the region only fails with certain probability, and more importantly, such failure probability tends to vary with both its dimension and its distance to failure center. In this paper, we provide a more general probabilistic region failure model to capture the key features of a region failure and apply it for the network vulnerability assessment. To facilitate such assessment, we adopt a grid partition-based scheme to estimate various statistical network metrics under a random region failure. A theoretical framework is also established to determine a suitable grid partition such that a specified estimation error requirement is satisfied. The grid partition technique is also useful for identifying the vulnerable zones of a network, which can guide network designers to initiate proper network protection against such failures. The work in this paper helps us more deeply understand the network vulnerability behavior under region failure and facilitates the design and maintenance of future highly survivable mission critical networks. © 2011 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Spectrum-based fault localization: Testing oracles are no longer mandatory

Spectrum-based fault localization: Testing oracles are no lo...

引用

International Conference on Quality software

作者： Xie, Xiaoyuan Wong, W. Eric Chen, Tsong Yueh Xu, Baowen Centre for Software Analysis and Testing Swinburne University of Technology Hawthorn VIC 3122 Australia Department of Computer Science University of Texas at Dallas Richardson TX 75083 United States State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 China School of Computer Science and Engineering Southeast University Nanjing 210096 China

ISBN: (纸本)9780769544687

Spectrum-based Fault Localization (SBFL) is one of the most popular approaches for locating software faults, and has received much attention because of its simplicity and effectiveness. It utilizes the execution result of each test case (failure or pass) and the corresponding coverage information to evaluate the likelihood of each program entity (e.g., a statement or a predicate) being faulty. Different formulas for computing such likelihood have been proposed based on different intuitions. All existing SBFL techniques have assumed the existence of a testing oracle, that is, a mechanism which can determine whether the execution of a test case fails or passes. However, such an assumption does not always hold. Recently, metamorphic testing has been proposed to alleviate the oracle problem. Thus, it is a natural extension to investigate how it can help SBFL techniques to locate faults even without using a testing oracle. Based on the framework of metamorphic testing, we have developed a novel concept of mice as a counterpart of the slice used in the current SBFL techniques. More precisely, in the absence of a testing oracle, we can determine whether an expected characterization of the program is satisfied. The outcomes of dissatisfaction or satisfaction of an expected characterization are then regarded as the counterparts of failed or passed executions, respectively, when a testing oracle exists. Since our approach does not require the existence of a testing oracle, it significantly enhances the applicability of SBFL techniques. Case studies on three popular SBFL techniques (Tarantula, Ochiai and Jaccard) with 9 applications are reported to demonstrate the use of the proposed fault localization technique. © 2011 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

An improved design of optical LIFO buffer with switched delay lines

An improved design of optical LIFO buffer with switched dela...

引用

International Conference on High Performance Switching and Routing

ISBN: (纸本)9781424484560

The lack of optical buffer is still one of the main problems that hinder the development of all optical networks. One approach to this problem is to emulate the behavior of optical buffers by using optical switches and fiber delay lines (SDL). Current works on this topic have demonstrated the feasibility of constructing SDL-based First In First Out (FIFO) buffer, Priority buffer, etc. The Last In First Out (LIFO) buffer is another important network component for congestion control and QoS guarantee, and parallel and cascade architectures have been peoposed for the efficient design of such optical buffer [1], [2]. The recent work in [3] showed that it is possible to use M fiber delay lines (FDLs) to construct a LIFO buffer of size B = (3/2) 2M/2 1 and B = 2(M+1)/2 1 when M is even and odd, respectively. In this paper, we improve the work in [3] by providing a more efficient construction of SDL-based optical LIFO buffer. We first show that with a single stage feedback structure consisted of one (M + 1) (M + 1) crossbar switch and M FDLs connecting M outputs of the crossbar back to M its inputs, we are able to construct a LIFO buffer of size B = 2 2M/2 2 and B = (3/2) 2(M+1)/2 2 when M is even and odd, respectively. This is achieved through adopting a properly delay length setting for each FDL and a careful packets scheduling among FDLs, as well as exploiting the nice function of simultaneous packet reading and witting a FDL can support. We further show that if we adopt a cascade of smaller switches rather than a single (M+1)(M+1) big switch, the new LIFO design can be implemented with much lower complexity in terms of the total number of basic 2 2 switch elements. © 2011 IEEE.

关键词： Optical switches

来源：评论

学校读者我要写书评

暂无评论

NURBS model for chaotic time series

NURBS model for chaotic time series

引用

2011 3rd International Conference on computer Research and Development, ICCRD 2011

作者： Shao, Chenxi Xiao, Lipeng Department of Computer Science and Technology University of Science and Technology of China Hefei China Department of Modern Physics Nonlinear Science Center University of Science and Technology of China Hefei China Anhui Province Key Laboratory of Software in Computing and Communication Hefei China

ISBN: (纸本)9781612848372

NURBS method is extensively used in the field of Geometric Modeling. Since the original NURBS method does not have time factor, it can not display the huge advantage in the dynamics field. In this article, inspired by the segmented nature of basis functions, we propose a time factor method which can be directly applied in reconstruction of missing data, with remarkable performance in matching the original data. This work does not only give an expression of chaotic time series, but also highlights a possible way for the challenge in reconstruction of missing data. © 2011 IEEE.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

An approach to modeling and analyzing security requirements of service composition

An approach to modeling and analyzing security requirements ...

引用

2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)9780769546247

Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to analyze security requirements for those applications due to the uncertainty factors in distributive environment. This paper proposes an approach to modeling and analyzing security requirements of service composition. Petri nets are used to model the different components of service composition, the dynamic matching strategy of service composition is proposed. Aspect-orientation is used to weave the security requirements into service composition, which includes evaluation concern, authorization, security level outputting and access outputting. The operation semantics and related theories of Petri nets help prove its effectiveness and correctness. An example explains the modeling and analyzing process of service composition, and a series of experiments are done to explain that the use of aspects for analyzing security requirements of service composition is more efficient than conventional techniques. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A regression test technique for analyzing the functionalities of service composition

A regression test technique for analyzing the functionalitie...

引用

SEKE 2011 - Proceedings of the 23rd International Conference on software Engineering and Knowledge Engineering

作者： Yu, Huiqun Liu, Dongmei Fan, Guisheng Chen, Liqiong Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)1891706292

Regression testing is a hot research area for Web service composition, which has direct impact on QoS of applications. This paper proposes an aspect-oriented regression test technique for analyzing functionalities of service composition. An extended version of Petri net is proposed as the underlying formalism. Services and components are modeled by Petri nets, service evolution is specified as crosscutting concerns, and in turn woven into the testing model of service composition by following weaving rules. A regression testing algorithm of service composition is designed. Theories of Petri nets help prove the effectiveness of the testing method. A case study shows that the approach simplifies the process of testing, and improves its efficiency as well.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：