论文收录
检索证明报告
华北电力大学图书馆
论文作者: Zhuxiao,Wang; Wang,Zhuxiao
论文发表年限: 2012-2015
检索数据库: Ei Compendex
检索结果 :8 篇收录
Title:
1. An Extension of Distributed Dynamic Description Logics for the
Representation of Heterogeneous Mappings
2. An architecture description language based on dynamic description
logics for self-healing systems
3. An architecture description language based on dynamic description
logics
4. An Architecture Dynamic Modeling Language for Self-Healing Systems
5. A Tableau-Based Reasoning Algorithm for Distributed Dynamic
Description Logics
6. A formal model for attack mutation using dynamic description logics
7. Linear cryptanalysis and security tradeoff of block ciphering systems
with channel errors
8. Research on sentiment analysis in sentence and text levels with priors
特此证明!
(盖章)
检索报告人:
年
月
日
附件:收录情况：
1. Accession number: 20132016337096
Title: An extension of distributed dynamic description logics for the representation of
heterogeneous mappings
Authors: Wang, Zhuxiao1 ; Guo, Jing2 ; Chen, Fei3 ; Wu, Kehe3 ; Wang, Peng4
Author affiliation: 1 School of Control and Computer Engineering, State Key Laboratory of
Alternate Electrical Power System with Renewable Energy Sources, North China Electric Power
University, 102206 Beijing, China
2 National Computer Network Emergency Response Technical Team, Coordination Center of
China, 100029 Beijing, China
3 School of Control and Computer Engineering, North China Electric Power University,
102206 Beijing, China
4 Institute of Information Engineering, Chinese Academy of Sciences, 100195 Beijing, China
Corresponding author: Wang, Z. (wangzx@ncepu.edu.cn)
Source title: Journal of Software
Abbreviated source title: J. Softw.
Volume: 8
Issue: 1
Issue date: 2013
Publication year: 2013
Pages: 243-250
Language: English
ISSN: 1796217X
Document type: Journal article (JA)
Publisher: Academy Publisher, P.O.Box 40,, OULU, 90571, Finland
Abstract: As a family of dynamic description logics, DDL(X) is constructed by embracing
actions into the description logic X, where X represents well-studied description logics ranging
from the ALC to the SHOIQ. To efficiently support automated interoperability between
ontology-based information systems in distributed environments, we have to design an expressive
mapping language to semantically understand resources from remote and heterogeneous systems.
Distributed Dynamic Description Logics D3L(X) is a natural generalization of the DDL(X)
framework, which is designed to model the distributed dynamically-changing knowledge
repositories interconnected by semantic mappings and to accomplish reasoning in distributed,
heterogeneous environments. In this paper, we propose an extension of Distributed Dynamic
Description Logics D3L(X) and investigate the reasoning mechanisms in D3L(X). © 2013
ACADEMY PUBLISHER.
Number of references: 16
Main heading: Data description
Controlled terms: Formal languages - Interoperability - Mapping - Semantics
Uncontrolled terms: Distributed Dynamic Description Logics - Distributed reasonings Dynamic description logic - Semantic mapping - Tableau algorithm
Classification code: 716 Telecommunication; Radar, Radio and Television - 717 Optical
Communication - 718 Telephone Systems and Related Technologies; Line Communications -
723 Computer Software, Data Handling and Applications 903.2 Information Dissemination
DOI: 10.4304/jsw.8.1.243-250
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
902.1 Engineering Graphics -
2. Accession number: 20124415623183
Title: An architecture description language based on dynamic description logics for
self-healing systems
Authors: Wang, Zhuxiao1 ; Peng, Hui2 ; Guo, Jing3 ; Wu, Kehe4 ; Cui, Wenchao4 ; Wang,
Xiaofeng5
Author affiliation: 1 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
2 Education Technology Center, Beijing International Studies University, Beijing 100024,
China
3 National Computer Network Emergency Response Technical Team/Coordination Center of
China, Beijing 100029, China
4 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
5 Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China
Corresponding author: Wang, Z. (wangzx@ncepu.edu.cn)
Source title: International Journal of Advancements in Computing Technology
Abbreviated source title: Intl. J. Adv. Comput. Technolog.
Volume: 4
Issue: 18
Issue date: October 2012
Publication year: 2012
Pages: 89-96
Language: English
ISSN: 20058039
E-ISSN: 22339337
Document type: Journal article (JA)
Publisher: Advanced Institute of Convergence Information Technology, Myoungbo Bldg 3F,,
Bumin-dong 1-ga, Seo-gu, Busan, 602-816, Korea, Republic of
Abstract: 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.
Number of references: 14
Main heading: Data description
Controlled terms: Formal languages - Knowledge based systems - Knowledge
representation - Semantics - Software architecture
Uncontrolled terms: Architecture description languages - Dynamic adaptations Dynamic description logic - Knowledge representation and reasoning - Self-healing
systems
Classification code: 723 Computer Software, Data Handling and Applications - 903.2
Information Dissemination
DOI: 10.4156/ijact.vol4.issue 18.11
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
3. Accession number: 20125015790730
Title: An architecture description language based on dynamic description logics
Authors: Wang, Zhuxiao1 ; Peng, Hui2 ; Guo, Jing3 ; Zhang, Ying1 ; Wu, Kehe1 ; Xu, Huan1 ;
Wang, Xiaofeng4
Author affiliation: 1 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
2 Education Technology Center, Beijing International Studies University, Beijing 100024,
China
3 National Computer Network Emergency Response Technical Team/Coordination Center of
China, Beijing 100029, China
4 Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China
Corresponding author: Wang, Z. (wangzx@ncepu.edu.cn)
Source title: IFIP Advances in Information and Communication Technology
Abbreviated source title: IFIP Advances in Information and Communication Technology
Volume: 385 AICT
Monograph title: Intelligent Information Processing VI - 7th IFIP TC 12 International
Conference, IIP 2012, Proceedings
Issue date: 2012
Publication year: 2012
Pages: 157-166
Language: English
ISSN: 18684238
ISBN-13: 9783642328909
Document type: Conference article (CA)
Conference name: 7th IFIP International Conference on Intelligent Information Processing,
IIP 2012
Conference date: October 12, 2012 - October 15, 2012
Conference location: Guilin, China
Conference code: 94249
Sponsor: IFIP TC12; Guilin University of Electronic Technology; Chinese Academy of
Sciences, Institute of Computing Technology
Publisher: Springer New York, 233 Spring Street, New York, NY 10013-1578, United States
Abstract: ADML is an architectural description language based on Dynamic Description
Logic for defining and simulating the behavior of system architecture. ADML is being developed
as a new formal language and/or conceptual model for representing the architectures of concurrent
and distributed systems, both hardware and software. 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 systems.
Because the ADML is based on the Dynamic Description Logic DDL( (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( (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( (D)), and describe the core
architecture description features of ADML. © 2012 IFIP International Federation for Information
Processing.
Number of references: 14
Main heading: Data description
Controlled terms: Formal languages - Knowledge based systems - Knowledge
representation - Semantics - Software architecture
Uncontrolled terms: Architectural description languages - Architectural levels Architecture description - Architecture description languages - Conceptual model Distributed systems - Dynamic adaptations - Dynamic changes - Dynamic description
logic - Dynamic semantic - Hardware and software - Knowledge base - Knowledge
representation and reasoning - Logical frameworks - ON dynamics - Satisfiability Static and dynamic - Static semantics - System architectures
Classification code: 723 Computer Software, Data Handling and Applications - 903.2
Information Dissemination
DOI: 10.1007/978-3-642-32891-6_21
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
4. Accession number: 20121214883239
Title: An architecture dynamic modeling language for self-healing systems
Authors: Wang, Zhuxiao1 ; Guo, Jing2; Wu, Kehe1; He, Hui1; Chen, Fei1
Author affiliation: 1 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
2 National Computer Network Emergency Response Technical Team, Coordination Center of
China, Beijing 100029, China
Corresponding author: Wang, Z. (wangzx@ncepu.edu.cn)
Source title: Procedia Engineering
Abbreviated source title: Procedia Eng.
Volume: 29
Monograph title: 2012 International Workshop on Information and Electronics Engineering
Issue date: 2012
Publication year: 2012
Pages: 3909-3913
Language: English
ISSN: 18777058
Document type: Conference article (CA)
Conference name: 2012 International Workshop on Information and Electronics Engineering,
IWIEE 2012
Conference date: March 10, 2012 - March 11, 2012
Conference location: Harbin, China
Conference code: 89020
Sponsor:
Harbin University of Science and Technology; International Science and
Engineering Research Center
Publisher: Elsevier Ltd, Langford Lane, Kidlington, Oxford, OX5 1GB, United Kingdom
Abstract: As modern software-based systems increase in complexity, recovery from malicious
attacks and rectification of system faults become more difficult, labor-intensive, and error-prone.
These factors have actuated research dealing with the concept of self-healing systems, which
employ architectural models to monitor system behavior and use inputs obtaining therefore to
adapt themselves to the run-time environment. Numerous architectural description languages
(ADLs) have been developed, each providing complementary capabilities for architectural
development and analysis. Unfortunately, few ADLs embrace dynamic change as a fundamental
consideration and support a broad class of adaptive changes at the architectural level. The
Architecture Dynamic Modeling Language (ADML) is being developed as a new formal language
and/or conceptual model for representing dynamic software architectures. The ADML couple the
static information provided by the system requirements and the dynamic knowledge provided by
tactics, and offer 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,
architectural ontology entailment for the ADML languages can be reduced to knowledge base
satisfiability in DDL. © 2011 Published by Elsevier Ltd.
Number of references: 10
Main heading: Architecture
Controlled terms: Data description - Electronics engineering - Embedded systems -
Formal languages - Knowledge based systems - Knowledge representation - Software
architecture
Uncontrolled terms: Architecture description languages - Dynamic adaptation Dynamic description logic - Knowledge representation and reasoning - Self-healing
systems
Classification code: 723 Computer Software, Data Handling and Applications - 722
Computer Systems and Equipment - 718 Telephone Systems and Related Technologies; Line
Communications - 717 Optical Communication - 716 Telecommunication; Radar, Radio and
Television - 715 Electronic Equipment, General Purpose and Industrial - 714 Electronic
Components and Tubes - 713 Electronic Circuits - 402 Buildings and Towers
DOI: 10.1016/j.proeng.2012.01.593
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
5. Accession number: 20124315590040
Title: A tableau-based reasoning algorithm for distributed dynamic description logics
Authors: Wang, Zhuxiao1 ; Guan, Zhitao1 ; Li, Wei1 ; Wu, Kehe1 ; Guo, Jing2 ; Tian,
Guanhua3
Author affiliation: 1 School of Control and Computer Engineering, State Key Laboratory of
Alternate Electrical Power System with Renewable Energy Sources, North China Electric Power
University, 102206 Beijing, China
2 National Computer Network Emergency Response Technical Team, Coordination Center of
China, 100029 Beijing, China
3 Institute of Automation, Chinese Academy of Sciences, 100190 Beijing, China
Corresponding author: Wang, Z. (wangzx@ncepu.edu.cn)
Source title: Communications in Computer and Information Science
Abbreviated source title: Commun. Comput. Info. Sci.
Volume: 307 CCIS
Issue: PART 1
Monograph title: Information Computing and Applications - Third International Conference,
ICICA 2012, Proceedings
Issue date: 2012
Publication year: 2012
Pages: 192-199
Language: English
ISSN: 18650929
ISBN-13: 9783642340376
Document type: Conference article (CA)
Conference name: 3rd International Conference on Information Computing and Applications,
ICICA 2012
Conference date: September 14, 2012 - September 16, 2012
Conference location: Chengde, China
Conference code: 93206
Sponsor: National Science Foundation of China; Hunan Institute of Engineering; Yanshan
University; Northeastern University at Qinhuangdao; Chengde Petroleum College
Publisher: Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany
Abstract: As a family of dynamic description logics, DDL(X) is constructed by embracing
actions into the description logic X, where X represents well-studied description logics ranging
from the ALC to the SHOIQ. The usage of distributed computation techniques in reasoning is an
important premise for the adoption of Dynamic Description Logics in a real-world setting.
Practical scalability of DDL(X) reasoning inspired recently a proposal of Distributed Dynamic
Description Logics (D3L) framework. D3L is a natural generalization of the DDL(X) framework,
which is designed to model the distributed dynamically-changing knowledge repositories
interconnected by semantic mappings and to accomplish reasoning in distributed, heterogeneous
environments. In this paper, we investigate the reasoning mechanisms in D3L and propose a
tableau-based reasoning algorithm for D3L, built as a composition of the state of the art tableaux
reasoners for DDL(X). © 2012 Springer-Verlag.
Number of references: 15
Main heading: Data description
Controlled terms: Algorithms - Formal languages - Inference engines - Semantics
Uncontrolled terms: Description logic - Distributed computations - Distributed
dynamics - Distributed Reasoning - Dynamic description logic - Heterogeneous
environments - Knowledge repository - Natural generalization - Reasoning algorithms
- Reasoning mechanism - Semantic mapping - State of the art - Tableau algorithm Tableaux reasoners
Classification code: 723 Computer Software, Data Handling and Applications - 903.2
Information Dissemination - 921 Mathematics
DOI: 10.1007/978-3-642-34038-3_27
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
6. Accession number: 20150400451745
Title:
A formal model for attack mutation using dynamic description logics
Authors:
Wang, Zhuxiao1 Email author wangzx@ncepu.edu.cn; Guo, Jing2 Email
author guojing.research@gmail.com; Shi, Jin2 Email author shijin@cert.org.cn; He, Hui1 Email
author huihe@ncepu.edu.cn; Zhang, Ying1 Email author yingzhang@ncepu.edu.cn; Peng, Hui3
Email author penghui@bisu.edu.cn; Tian, Guanhua4 Email author guanhua.tian@ia.ac.cn
Author affiliation: 1 School of Control and Computer Engineering, State Key Laboratory of
Alternate Electrical Power System with Renewable Energy Sources, North China Electric Power
University, Beijing, China
2 National Computer Network Emergency Response Technical Team/Coordination
Center of China, Beijing, China
3 Education Technology Center, Beijing International Studies University, Beijing, China
4 Institute of Automation, Chinese Academy of Sciences, Beijing, China
Corresponding author: Wang, Zhuxiao
Source title: IFIP Advances in Information and Communication Technology
Abbreviated source title:
IFIP Advances in Information and Communication Technology
Volume: 432
Volume title: Intelligent Information Processing VII - 8th IFIP TC 12 International
Conference, IIP 2014, Proceedings
Issue date:
2014
Publication year: 2014
Pages: 303-311
Language:
English
ISSN:
18684238
ISBN-13:
9783662449790
Document type:
Journal article (JA)
Publisher:
Springer New York LLC
Abstract:
All currently available Network-based Intrusion Detection Systems (NIDS)
rely upon passive protocol analysis which is fundamentally flawed as an attack can evade
detection by exploiting ambiguities in the traffic stream as seen by the NIDS. We observe that
different attack variations can be derived from the original attack using simple transformations.
This paper proposes a semantic model for attack mutation based on dynamic description logics
(DDL(X)), extensions of description logics (DLs) with a dynamic dimension, and explores the
possibility of using DDL(X) as a basis for evasion composition. The attack mutation model
describes all the possible transformations and how they can be applied to the original attack to
generate a large number of attack variations. Furthermore, this paper presents a heuristics planning
algorithm for the automation of evasion composition at the functional level based on DDL(X).
Our approach employs classical DL-TBoxes to capture the constraints of the domain, DL-ABoxes
to present the attack, and DL-formulas to encode the objective sequence of packets respectively. In
such a way, the evasion composition problem is solved by a decidable tableau procedure. The
preliminary results certify the potential of the approach. © IFIP International Federation for
Information Processing 2014.
Number of references: 9
Main heading:
Data description
Controlled terms: Algorithms
Formal languages
Intrusion detection
Knowledge representation - Semantics
Uncontrolled terms:
Advanced evasion techniques - Dynamic description logic Intrusion detection/prevention systems
- Knowledge representation and reasoning
Multiprotocols
Classification code:
723 Computer Software, Data Handling and Applications - 903.2
Information Dissemination
Database:
Compendex
Compilation and indexing terms, © 2015 Elsevier Inc.
7. Accession number: 20130115855490
Title: Linear cryptanalysis and security tradeoff of block ciphering systems with channel
errors
Authors: Guo, Jing1 ; Wang, Zhuxiao2
Author affiliation:
1 National Computer Network Emergency Response Technical
Team/Coordination Center of China (CNCERT/CC), Beijing 100029, China
2 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
Corresponding author: Guo, J. (guojing.research@gmail.com)
Source title: Lecture Notes in Computer Science (including subseries Lecture Notes in
Artificial Intelligence and Lecture Notes in Bioinformatics)
Abbreviated source title: Lect. Notes Comput. Sci.
Volume: 7645 LNCS
Monograph title: Network and System Security - 6th International Conference, NSS 2012,
Proceedings
Issue date: 2012
Publication year: 2012
Pages: 405-416
Language: English
ISSN: 03029743
E-ISSN: 16113349
ISBN-13: 9783642346002
Document type: Conference article (CA)
Conference name: 6th International Conference on Network and System Security, NSS 2012
Conference date: November 21, 2012 - November 23, 2012
Conference location: Wuyishan, Fujian, China
Conference code: 94688
Publisher: Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany
Abstract: Channel errors are usually treated as an obstacle in designing an encrypted wireless
system. So we are supposed to reduce them as much as possible due to the potential error bursts
contributed by an avalanche effect of block ciphers. In this paper, we propose that channel errors
are to be explored for the benefit of security enhancement as they could be translated to additional
efforts in cryptanalysis for an adversary node. To achieve this, a system with an outer block
channel coder and an inner block cipher is presented. A framework for linear cryptanalysis is
established under which an eavesdropper takes advantage of linear relationship among coded
symbols, as well as linear approximation of ciphers. Also presented is an analysis on the tradeoff
between security enhancement and performance degradation in the presence of channel errors. ©
2012 Springer-Verlag.
Number of references: 13
Main heading: Cryptography
Controlled terms: Commerce - Errors - Network security
Uncontrolled terms: Avalanche effects - Block ciphers - Channel error - Coded
symbols - Linear approximations - Linear cryptanalysis - Linear relationships Performance degradation - Potential errors - Security enhancements - Wireless systems
Classification code: 723 Computer Software, Data Handling and Applications - 731
Automatic Control Principles and Applications - 911.2 Industrial Economics - 921
Mathematics
DOI: 10.1007/978-3-642-34601-9_31
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.
8. Accession number: 20123915464951
Title: Research on sentiment analysis in sentence and text levels with priors
Authors: He, Hui1, 3 ; Chen, Bo2 ; Wang, Zhuxiao3
Author affiliation: 1 School of Control and Computer Engineering, North China Electric
Power University, Beijing, China
2 Beijing University of Posts and Telecommunications, Beijing, China
3 Postdoctoral Working Station, China United Network Communications Group Company
Limited, Beijing, China
Corresponding author: He, H. (hh1012@gmail.com)
Source title: International Journal of Digital Content Technology and its Applications
Abbreviated source title: Int. J. Digit. Content Technol. Appl.
Volume: 6
Issue: 15
Issue date: August 2012
Publication year: 2012
Pages: 518-525
Language: English
ISSN: 19759339
E-ISSN: 22339310
Document type: Journal article (JA)
Publisher: Advanced Institute of Convergence Information Technology, 707 Seokjang-dong,
Gyeongju, BI Center, Room 207, Gyeongju, Gyeongbuk, 780-714, Korea, Republic of
Abstract: Recently, sentiment analysis of text is becoming a hotspot in the study of natural
language processing, which has drawn interesting attention due to its research value and extensive
applications. This paper introduces a sentiment analysis system, which is to satisfy two aspects of
sentiment analysis requirement in sentence and text levels. They are sentence orientation analysis
and text sentiment retrieval. An improved Maximum Entropy (MaxEnt) with priors is used to
judge the sentence orientation, which combined with Indri is used to retrieve sentiment texts
according to interested terms. This sentiment analysis system has been applied in Chinese Opinion
Analysis Evaluation (COAE). Promising results and analysis are presented at the end of this paper.
Number of references: 26
Main heading: Maximum entropy methods
Controlled terms: Computational linguistics - Data mining - Information retrieval Natural language processing systems
Uncontrolled terms: Hot spot - Indri - Maximum entropy - NAtural language
processing - Opinion analysis - Orientation analysis - Prior - Sentiment analysis
Classification code: 716.1 Information Theory and Signal Processing - 721.1 Computer
Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory 723.2 Data Processing and Image Processing - 723.5 Computer Applications
DOI: 10.4156/jdcta.vol6.issue15.59
Database: Compendex
Compilation and indexing terms, © 2013 Elsevier Inc.