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

An ontology-based approach for semantic web service searching 1

4th International Conference on Human-Centric Computing, HumanCom'11 and the 6th International Conference on Embedded and Multimedia Computing, EMC'11

作者： Shen, Shuijing Li, Bing Shao, Bo Li, Dingwei State Key Laboratory of Software Engineering Wuhan University 430072 Wuhan China School of Computer Science and Complex Network Research Center Wuhan University 430205 Wuhan China

ISBN: (数字)9789400721050

ISBN: (纸本)9789400721043

Web service is released, combined and invoked through the web. With the continuous growth of web services, finding the web service to meet user requirement has become a challenging problem. The current web service discovery technology such as UDDI which provides keyword-based search is unable to fulfill the user's demand of semantic search. In view of that web services have some functional and non-functional information described by natural language, and the sparsity of user requirement description, we put forward a semantic web service discovery method depending on a concept network which is built on the domain ontology and local ontology in registration model. This method fully uses the registered users' knowledge of web service to build conceptual network and processes the user's search text to mine the true intentions, thus enabling more effective service discovery. © 2011 Springer Science+Business Media B.V.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

An architecture description language based on dynamic description logics for self-healing systems

引用

International Journal of Advancements in Computing Technology 2012年第18期4卷 89-96页

作者： Wang, Zhuxiao Peng, Hui Guo, Jing Wu, Kehe Cui, Wenchao Wang, Xiaofeng School of Control and Computer Engineering State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power University Beijing 102206 China Education Technology Center Beijing International Studies University Beijing 100024 China National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing 100029 China School of Control and Computer Engineering Institute of Electric Information Security Engineering Research Center of Power Information North China Electric Power University Beijing 102206 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

As biological systems exhibit adaptation, healing and robustness in the face of changing environmental behavior, this paradigm has actuated research dealing with the concept of self-healing systems, which attempt to heal themselves in the sense of recovering from malicious attacks and rectifying of system faults. The goal of self-healing systems is to provide survivable systems that require high dependability, robustness, adaptability, and availability. Such systems maintain one or more models, whether external or internal, at run time as a basis for identifying problems and resolving them. This article describes an architectural description language, called ADML, which is being developed as a new formal language and/or conceptual model for representing evolving software architectures. The ADML embraces dynamic change as a fundamental consideration, supports a broad class of adaptive changes at the architectural level, and offers a uniform way to represent and reason about both static and dynamic aspects of self-healing systems. Because the ADML is based on the Dynamic Description Logic DDL(SHON (D)), which can represent both dynamic semantics and static semantics under a unified logical framework, architectural ontology entailment for the ADML languages can be reduced to knowledge base satisfiability in DDL(SHON (D)), and dynamic description logic algorithms and implementations can be used to provide reasoning services for ADML. In this article, we present the syntax of ADML, explain its underlying semantics using the Dynamic Description Logic DDL(SHON (D)), and exemplify our approach by applying it to the domain of load balancing a wireless remote-access system;the preliminary results certify the potential of the approach.

关键词： Formal languages

来源：评论

学校读者我要写书评

暂无评论

A practical covert channel identification approach in source code based on directed information flow graph

A practical covert channel identification approach in source...

引用

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Secure machine learning, a brief overview

Secure machine learning, a brief overview

引用

International Conference on Secure software Integration and Reliability Improvement Companion

作者： Liao, Xiaofeng Ding, Liping Wang, Yongji National Engineering Research Center for Fundamental Software Institute of Software China State Key Laboratory of Computer Science Institute of Software China Graduate University Chinese Academy of Sciences Beijing 100049 China Information Engineering School Nanchang University Nanchang Jiangxi 330031 China

ISBN: (纸本)9780769544540

The purpose of this article is to give a brief overview on the current work towards the emerging research problem of secure machine learning. Machine learning technique has been applied widely in various applications especially in spam detection and network intrusion detection. Most existing learning schemes assume that the environment they settle in is benign. However this is not always true in the real adversarial decision-making situations where the future data sets and the training data set are no longer from the same population, due to the transformations employed by the adversaries. As more and more machine learning systems are put into use, it is imperative to consider the security of the machine learning system. As a emerging problem, it is attracting more and more researchers' attention. In this article, we present a brief overview on secure machine learning and current progress on developing secure machine learning algorithms. © 2011 IEEE.

关键词： Population statistics

来源：评论

学校读者我要写书评

暂无评论

Ranking the Importance of Classes via software Structural Analysis

Ranking the Importance of Classes via Software Structural An...

引用

2011 International Conference on Future Communication, Computing, Control and Management(ICF4C 2011)

作者： Li Ding-wei Li Bing He Peng Pan Wei-feng State Key Laboratory of Software Engineering Wuhan University Complex Networks Research Center Wuhan University School of Computer Science and Information Engineering Zhejiang Gongshan University

How to identify important classes in an object-oriented system is a significant task for resources allocation and decision makingHowever, the work on ranking the importance of classes is scarceThis paper introduces a weighted software network model to represent the structure of object-oriented software, and based on which an indicator, IC, is defined to measure the importance of classesBy ranking the ICs of all classes we can obtain the important classes we should focus onManually inspection of the source code verifies the meaningfulness of the classes obtained and also validates the feasibility of our approach.

关键词： Importance of classes,software,software networks,complex networks

来源：评论

学校读者我要写书评

暂无评论

Multi-granularity dynamic analysis of complex software networks

Multi-granularity dynamic analysis of complex software netwo...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Bing Li Weifeng Pan Jinhu Lü State Key Laboratory Software Engineering and School Computer and Complex Network Research Center Wuhan University of China Wuhan China State Key Laboratory Software Engineering Wuhan University of China Wuhan China School Electrical Computer Engineering RMIT University Melbourne Australia Acad. Mathematics System Science Chinese Academy and Sciences Beijing China

software systems represent one of the most complex man-made systems. In this paper, we analyze the evolution of Object-Oriented (OO) software using complex network theory from a multi-granularity perspective. First, the software net works are constructed for a multi-version software system at different levels of granularity. Then, some parameters used in complex network theory are introduced to study the topological characteristics of these software networks. By investigating the parameters' values in consecutive software networks, we have a better understanding about software evolution. A case study on an open source OO project, Azureus, is conducted as an example to illustrate our approach. It uncovers some underlying dynamic characteristics of OO systems. These results provide a different dimension to our understanding of software system dynamics and also are very useful for the design and development of OO software systems.

关键词： Logic gates Communities US Department of Defense

来源：评论

学校读者我要写书评

暂无评论

Multi-user private keyword search for cloud computing

Multi-user private keyword search for cloud computing

引用

2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011

作者： Yang, Yanjiang Lu, Haibing Weng, Jian Institute for Infocomm Research Singapore Singapore Dept. of Operations Management and Information Systems Leavey School of Business Santa Clara University United States Department of Computer Science Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University Guangzhou China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences China State Key Lab. of Networking and Switching Technology Beijing University of Posts and Telecommunications China

ISBN: (纸本)9780769546223

Enterprises outsourcing their databases to the cloud and authorizing multiple users for access represents a typical use scenario of cloud storage services. In such a case of database outsourcing, data encryption is a good approach enabling the data owner to retain its control over the outsourced data. Searchable encryption is a cryptographic primitive allowing for private keyword based search over the encrypted database. The above setting of enterprise outsourcing database to the cloud requires multi-user searchable encryption, whereas virtually all of the existing schemes consider the single-user setting. To bridge this gap, we are motivated to propose a practical multi-user searchable encryption scheme, which has a number of advantages over the known approaches. The associated model and security requirements are also formulated. We further discuss to extend our scheme in several ways so as to achieve different search capabilities. © 2011 IEEE.

关键词： Outsourcing

来源：评论

学校读者我要写书评

暂无评论

Measuring Structural Quality of Object-Oriented softwares via Bug Propagation Analysis on Weighted software networks

引用

Journal of computer Science & Technology 2010年第6期25卷 1202-1213页

作者：潘伟丰李兵马于涛覃叶宜周晓燕 State Key Laboratory of Software Engineering Wuhan University School of Computer Wuhan University Complex Networks Research Center Wuhan University

The quality of a software system is partially determined by its structure（topological structure）,so the need to quantitatively analyze the quality of the structure has become *** this paper a novel metric called software quality of structure（SQoS） is presented for quantitatively measuring the structural quality of object-oriented（OO） softwares via bug propagation analysis on weighted software networks（WSNs）.First,the software systems are modeled as a WSN,weighted class dependency network（WCDN）,in which classes are nodes and the interaction between every pair of classes if any is a directed edge with a weight indicating the probability that a bug in one class will propagate to the *** we analyze the bug propagation process in the WCDN together with the bug proneness of each class,and based on this,a metric（SQoS） to measure the structural quality of OO softwares as a whole is *** approach is evaluated in two case studies on open source Java programs using different software structures（one employs design patterns and the other does not） for the same OO *** results of the case studies validate the effectiveness of the proposed *** approach is fully automated by a tool written in Java.

关键词： bug propagation design pattern object-oriented（OO） software software network structural quality

来源：评论

学校读者我要写书评

暂无评论

Multi-User Private keyword Search for Cloud Computing

Multi-User Private Keyword Search for Cloud Computing

引用

IEEE International Conference on Cloud Computing Technology and Science (CloudCom)

作者： Yanjiang Yang Haibing Lu Jian Weng Institute for Infocomm Research Singapore Department of Operations Management and Information Systems The Leavey School of Business Santa Clara University USA State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications China Department of Computer Science and Emergency Technology Research Center of Risk Department of Computer Science and Emergency Technology Research Center of Risk Evaluation and Prewarning on Public Network Security Jinan University Guangzhou China State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences China

关键词： Encryption Indexes keyword search Cloud computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：