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

International Conference on Secure software Integration and Reliability Improvement

作者： Wu, JingZheng Ding, Liping Wang, Yongji Han, Wei National Engineering Research Center for Fundamental Software Institute of Software China State Key Laboratory of Computer Science Institute of Software China Graduate School Chinese Academy of Science Beijing China

ISBN: (纸本)9780769544533

Covert channel analysis is an important requirement when building secure information systems and identification is the most difficult task. Although some approaches were presented they are either experimental or constrained to some particular systems. This paper presents a practical approach based on directed information flow graph taking advantage of the source code analysis. The approach divides the whole system into serval independent modules and analyzes them respectively. All the shared variables and their caller functions are found out from the source codes and modeled into directed information flow graphs. When the information flow branches are visible and modifiable to the external interface a potential covert channel exists. Contributions made in this paper are as follows a modularized analysis scheme is proved and reduces the workloads of identifying a directed information flow graph algorithm is presented and used to model the covert channels more than 30 covert channels have been identified in Linux kernel source code using this scheme and a typical channel scenario is constructed. © 2011 IEEE.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Molecular logic computing model based on self-assembly of DNA nanoparticles

引用

Chinese science Bulletin 2011年第33期56卷 3566-3571页

作者： ZHANG Cheng YANG Jing XU Jin Institute of Software School of Electronics Engineering and Computer Science Key Laboratory of High Confidence Software Technologies of Ministry of Education Peking University Beijing 100871 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

In this paper, a logic computing model was constructed using a DNA nanoparticle, combined with color change technology of DNA/Au nanoparticle conjugates, and DNA computing. Several important technologies are utilized in this molecular computing model: DNA self-assembly, DNA/Au nanoparticle conjugation, and the color change resulting from Au nanoparticle aggregation. The simple logic computing model was realized by a color change, resulting from changing of DNA self-assembly. Based on this computing model, a set of operations computing model was also established, by which a simple logic problem was solved. To enlarge the applications of this logic nanocomputing system, a molecular detection method was developed for H1N1 virus gene detection.

关键词： DNA分子逻辑运算纳米粒子自组装运算模型颜色变化计算模型 DNA计算

来源：评论

学校读者我要写书评

暂无评论

Static detection of bugs caused by incorrect exception handling in java programs

Static detection of bugs caused by incorrect exception handl...

引用

International Conference on Quality software

作者： Wu, Xiaoquan Xu, Zhongxing Wei, Jun Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Graduate University Chinese Academy of Sciences Beijing China

ISBN: (纸本)9780769544687

Exception handling is a vital but often poorly tested part of a program. Static analysis can spot bugs on exceptional paths without actually making the exceptions happen. However, the traditional methods only focus on null dereferences on exceptional paths, but do not check the states of variables, which may be corrupted by exceptions. In this paper we propose a static analysis method that combines forward flow sensitive analysis and backward path feasibility analysis, to detect bugs caused by incorrect exception handling in Java programs. We found 8 bugs in three open source server applications, 6 of which cannot be found by Find Bugs. The experiments showed that our method is effective for finding bugs related to poorly handled exceptions. © 2011 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Identification and evaluation of sharing memory covert timing channel in Xen virtual machines

Identification and evaluation of sharing memory covert timin...

引用

International Conference on Cloud Computing

作者： Wu, Jing Zheng Ding, Liping Wang, Yongji Han, Wei National Engineering Research Center for Fundamental Software Institute of Software Beijing China State Key Laboratory of Computer Science Institute of Software Beijing China Graduate School Chinese Academy of Science Beijing China

ISBN: (纸本)9780769544601

Virtualization technology is the basis of cloud computing, and the most important property of virtualization is isolation. Isolation guarantees security between virtual machines. However, covert channel breaks the isolation and leaks sensitive message covertly. In this paper, we formally model the isolation into noninterference, and define that all the transmission channels violating noninterference are covert channels. With this definition, we present an identification method based on information flow. This method first compiles the source code into a more structured equivalent code with LLVM. And then a search algorithm is proposed to obtain the shared resources and the operational processes in the equivalent code. A new covert channel termed sharing memory covert timing channel (SMCTC) is identified from Xen source code. We construct channel scenario for SMCTC, and evaluate its threat with the metrics of channel capacity and transmission accuracy. The results show that SMCTC is much more threatened than CPU load based and cache based covert channels etc. © 2011 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

BibClus: A clustering algorithm of bibliographic networks by message passing on center linkage structure

BibClus: A clustering algorithm of bibliographic networks by...

引用

11th IEEE International Conference on Data Mining, ICDM 2011

作者： Xu, Xiaoran Deng, Zhi-Hong School of Electronics Engineering and Computer Science Peking University Beijing 100871 China State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9780769544083

Multi-type objects with multi-type relations are ubiquitous in real-world networks, e.g. bibliographic networks. Such networks are also called heterogeneous information networks. However, the research on clustering for heterogeneous information networks is little. A new algorithm, called NetClus, has been proposed in recent two years. Although NetClus is applied on a heterogeneous information network with a star network schema, considering the relations between center objects and all attribute objects linking to them, it ignores the relations between center objects such as citation relations, which also contain rich information. Hence, we think the star network schema cannot be used to characterize all possible relations without integrating the linkage structure among center objects, which we call the Center Linkage Structure, and there has been no practical way good enough to solve it. In this paper, we present a novel algorithm, BibClus, for clustering heterogeneous objects with center linkage structure by taking a bibliographic information network as an example. In BibClus, we build a probabilistic model of pairwise hidden Markov random field (P-HMRF) to characterize the center linkage structure, and convert it to a factor graph. We further combine EM algorithm with factor graph theory, and design an efficient way based on message passing algorithm to inference marginal probabilities and estimate parameters at each iteration of EM. We also study how factor functions affect clustering performance with different function forms and constraints. For evaluating our proposed method, we have conducted thorough experiments on a real dataset that we had crawled from ACM Digital Library. The experimental results show that BibClus is effective and has a much higher quantity than the recently proposed algorithm, NetClus, in both recall and precision. © 2011 IEEE.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Demo: A sensor network time synchronization protocol based on fm radio data system 11

Demo: A sensor network time synchronization protocol based o...

引用

9th International Conference on Mobile Systems, Applications, and Services, MobiSys'11 and Co-located Workshops

作者： Li, Liqun Xing, Guoliang Sun, Limin Huangfu, Wei Zhou, Ruogu Zhu, Hongsong Institute of Software Chinese Academy of Sciences China Graduate University Chinese Academy of Sciences China Department of Computer Science and Engineering Michigan State University United States

No abstract available.

ISBN: (纸本)9781450306430

No abstract available.

关键词： wireless sensor network fm radio time synchronization radio data system

来源：评论

学校读者我要写书评

暂无评论

Exploiting FM radio data system for adaptive clock calibration in sensor networks 11

Exploiting FM radio data system for adaptive clock calibrati...

引用

Proceedings of the 9th international conference on Mobile systems, applications, and services

ISBN: (纸本)9781450306430

Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message passing protocols can achieve satisfactory clock synchronization accuracy, they incur prohibitively high overhead when the network scales to more than tens of nodes. An alternative approach is to take advantage of the global time reference induced by existing infrastructures including GPS, timekeeping radio stations, or power grid. However, high power consumption and geographic constraints present them from being widely adopted in WSNs. In this paper, we propose ROCS, a new clock synchronization approach exploiting the Radio Data System (RDS) of FM radios. First, we design a new hardware FM receiver that can extract a periodic pulse from FM broadcasts, referred to as RDS clock. We then conduct a large-scale measurement study of RDS clock in our lab for a period of six days and on a vehicle driving through a metropolitan area of over 40 km2. Our results show that RDS clock is highly stable and hence is a viable means to calibrate the clocks of large-scale city-wide sensor networks. To reduce the high power consumption of FM receiver, ROCS intelligently predicts the time error due to drift, and adaptively calibrates the native clock via the RDS clock. We implement ROCS in TinyOS on our hardware FM receiver and a TelosB-compatible WSN platform. Our extensive experiments using a 12-node testbed and our driving measurement traces show that ROCS achieves accurate and precise clock synchronization with low power consumption. © 2011 ACM.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

The preservation of liveness in self-loops connection of Petri net systems

The preservation of liveness in self-loops connection of Pet...

引用

3rd International Conference on Multimedia Information Networking and Security, MINES 2011

作者： Fei, Pu College of Computer and Information Engineering Zhejiang Gongshang University China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences 100190 Beijing China

ISBN: (纸本)9780769545592

In study of Petri net systems, the approach of synthesis process is playing an increasingly significant role. In a synthesis process, the properties of subsystems must be preserved in the global system in order to reduce the high complexity of analyzing. This paper focuses on such property as live ness in self-loops connection of Petri net systems. The system behavior relation i.e. language relation in self-loops connection process is stressed studied. The corresponding concurrent language formula is presented and proved, and it can be applied to judge the live ness in self-loops connection operation. Moreover, some criteria are introduced, which are necessary and sufficient for live ness preservation. Then, under these conditions, the live ness of global system can be determined by the same properties of local systems. Contrasted with other works, our approaches can synthesize Petri net systems beyond asymmetric choice nets and are based on concurrent behavior of systems. © 2011 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Information security for service oriented computing: Ally or antagonist

Information security for service oriented computing: Ally or...

引用

2011 6th International Conference on Availability, Reliability and Security, ARES 2011

作者： Chetty, Jacqui Coetzee, Marijke Business Information Technology University of Johannesburg Johannesburg South Africa Academy of Computer Science and Software Engineering University of Johannesburg Johannesburg South Africa

ISBN: (纸本)9780769544854

Service-oriented Architecture (SOA) is a leading paradigm that can be used to address the challenges of both cross-organisational and inter-organisational systems integration. This approach makes it necessary to investigate and apply suitable SOA information security policies, controls and mechanisms in order to comprehensively address the information security of composed applications. While this is an active research field, literature on the topic has not yet identified a standard approach to SOA information security. This paper uses a security theory SOA-S, to identify and compare current best practices and challenges of SOA information security. Based on this comparison, research challenges for SOA information security are identified. © 2011 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：