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

IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)

作者： Jingjing Zhang Lin Yang Xianming Gao Qiang Wang College of Command and Control Engineering Army Engineering University of PLA Nanjing China National Key Laboratory of Science and Technology on Information System Security Chinese Academy of Military Science Beijing China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China

ISBN: (数字)9781728165509

ISBN: (纸本)9781728165516

This paper presents a formal analysis of the QUIC protocol. This newly proposed protocol is currently under the process of standardization, and it is still unknown whether the proposed protocol provides the claimed security guarantees. To fill this gap, we model the QUIC handshake protocol in the applied pi calculus and perform a comprehensive formal analysis using ProVerif. To the best of our knowledge, this is the first thorough study on the formal analysis of QUIC handshake protocol.

关键词： Security protocol QUIC Formal verification ProVerif formal analysis Formal verification Handshake Protocol pi calculus

来源：评论

学校读者我要写书评

暂无评论

A new analytical approximation of luminosity distance by optimal HPM-Padé technique

arXiv

引用

arXiv 2021年

作者： Yu, Bo Zhang, Jian-Chen Zhang, Tong-Jie Zhang, Tingting School of Mathematics and Big Data Dezhou University Dezhou253023 China Institute for Astronomical Science Dezhou University Dezhou253023 China Shandong Provincial Key Laboratory of Biophysics Institute of Biophysics Dezhou University Dezhou253023 China School of Computer and Information Dezhou University Dezhou253023 China Department of Astronomy Beijing Normal University Beijing100875 China School of Command and Control Engineering Army Engineering University Nanjing210017 China

By the use of homotopy perturbation method-Padé (HPM-Padé) technique, a new analytical approximation of luminosity distance in the flat universe is proposed, which has the advantage of significant improvement for accuracy in approximating luminosity distance over cosmological redshift range within 0 ≤ z ≤ 2.5. Then we confront the analytical expression of luminosity distance that is obtained by our new approach with the observational data, for the purpose of checking whether it works well. In order to probe the robustness of the proposed method, we also confront it to supernova type Ia and recent data on the Hubble expansion rate H(z). Markov Chain Monte Carlo (MCMC) code emcee is used in the data fitting. The result indicates that it works fairly *** Codes 32E30 Copyright © 2021, The Authors. All rights reserved.

关键词： Luminance

来源：评论

学校读者我要写书评

暂无评论

Object-oriented Battlefield Environment Simulation Process Object Model Based on Task-driven

引用

Journal of Geodesy and Geoinformation Science 2019年第3期2卷 31-43页

作者： Jie ZHU Xiong YOU Qing XIA Hongjun ZHANG College of Command and Control Engineering The Army Engineering University of PLA Nanjing 210002 China Institute of Geospatial Information Information Engineering University Zhengzhou 450001 China 73021 Troops Hangzhou 315023 China

Battlefield environment simulation process is an important part of battlefield environment information support, which needs to be built around the task process. At present, the interoperability between battlefield environment simulation system and command and control system is still imperfect, and the traditional simulation data model cannot meet war fighters’ high-efficient and accurate understanding and analysis on battlefield environment’s information. Therefore, a kind of task-orientated battlefield environment simulation process model needs to be construed to effectively analyze the key information demands of the command and control system. The structured characteristics of tasks and simulation process are analyzed, and the simulation process concept model is constructed with the method of object-orientated. The data model and formal syntax of GeoBML are analyzed, and the logical model of simulation process is constructed with formal language. The object data structure of simulation process is defined and the object model of simulation process which maps tasks is constructed. In the end, the battlefield environment simulation platform modules are designed and applied based on this model, verifying that the model can effectively express the real-time dynamic correlation between battlefield environment simulation data and operational tasks.

关键词： battlefield environment simulation GeoBML object-orientated task driven process modeling

来源：评论

学校读者我要写书评

暂无评论

A two-stage feature weighting method for naive bayes and its application in software defect prediction

引用

International Journal of Performability engineering 2018年第7期14卷 1468-1480页

作者： Ji, Haijin Huang, Song Lv, Xuewei Wu, Yaning Hui, Zhanwei Command and Control Engineering College Army Engineering University of PLA Nanjing210007 China School of Computer Science and Technology Huaiyin Normal University Huai'an223300 China

Software defect prediction (SDP) models facilitate software practitioners to find out defect-prone software modules in software. Software practitioners can then test these defect-prone software modules with limited testing resources to minimize software defects. Among various SDP models, Naive Bayes (NB) has been widely used in SDP because of its simplicity, effectiveness and robustness. The NB classifier is an effective classification approach, especially for data sets with discrete attributes. In NB, the attributes are assumed to be independent and thus equally important. However, in common practice, the attributes of software defect data sets are usually continuous or numeric, and because they are designed for different purposes, their contributions to prediction are different. Therefore, this paper proposes a new NB method called TSWNB, which contains two stages: Feature (i.e. attribute) discretization and feature weighting. More specifically, for the stage of feature discretization, we make the comparison between two discretization methods i.e. equal-width discretization method and equal-frequency discretization method, and identify the most appropriate one. For the stage of feature weighting, we use the feature weighting technique to alleviate the equal importance assumption, which combines the obtained feature weights into the NB formula and its likelihood estimations. To evaluate the proposed method, we carry out experiments on 5 software defect data sets of NASA MDP provided by PROMISE repository. Three well-known classification algorithms and two feature weighting techniques are included for comparison. The experimental results reveal the effectiveness and practicability of the two-stage feature weighting method TSWNB. © 2018 Totem Publishers Ltd. All rights reserved.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

XML privacy preserving model based on dynamic context

引用

International Journal of Performability engineering 2018年第12期14卷 3206-3219页

作者： Wang, Meijuan Huang, Song Zheng, Changyou Li, Hui College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing210016 China Command and Control Engineering College Army Engineering University of PLA Nanjing210007 China

The development of cloud computing has brought about rapid changes in the data application environment. The contradiction between the availability of data fusion and privacy protection is increasing. Traditional information security focuses on hiding attributes, while big data privacy protection pays more attention to access control and data using methods. As a semi-structured representation model, XML data is an ideal carrier for heterogeneous data exchange and unstructured data storage. This paper deeply studies several problems involved in user’s individual access process for XML data privacy preserving, and proposes prior knowledge as dynamic context. Based on the innovative privacy bipartite graph and the XML document semantic encoding, we propose the XML data privacy preserving model DCPPM and the algorithm KCQ to resist reasoning attack. The scheme to preventive response of the real-time inference attack in the actual operation process is realized. Finally, the example verification and experimental data show that the proposed model can effectively protect the safe use of private data and sensitive data in real time, which has certain theoretical and practical significance. © 2018 Totem Publisher, Inc. All rights reserved.

关键词： XML

来源：评论

学校读者我要写书评

暂无评论

Inverted XML Access control Model Based on Ontology Semantic Dependency

引用

Computers, Materials & Continua 2018年第6期55卷 465-482页

作者： Meijuan Wang Jian Wang Lihong Guo Lein Harn College of Computer Science and Technology Nanjing University of Aeronautics and AstronauticsNanjing210016China Command&Control Engineering College Army Engineering University of PLANanjing 210007China Department of Communications Engineering Nanjing Institute of TechnologyNanjing 211167China University of Missouri Kansas CityAmerican

In the era of big data,the conflict between data mining and data privacy protection is increasing day by *** information security focuses on protecting the security of attribute values without semantic *** data privacy of big data is mainly reflected in the effective use of data without exposing the user’s sensitive *** the semantic association,reasonable security access for privacy protect is ***-structured and self-descriptive XML(eXtensible Markup Language)has become a common form of data organization for database management in big data *** on the semantic integration nature of XML data,this paper proposes a data access control model for individual *** the semantic dependency between data and the integration process from bottom to top,the global visual range of inverted XML structure is *** results show that the model effectively protects the privacy and has high access efficiency.

关键词： Privacy protection access control semantic dependence inverted XML global view

来源：评论

学校读者我要写书评

暂无评论

A fast and robust real-time surveillance video stitching method

引用

Journal of Physics: Conference Series 2020年第1期1651卷

作者： Tao Yang Fenlin Jin Jianxin Luo Command & Control Engineering College Army Engineering University of PLA Nanjing Jiangsu 210007 China

Real-time video stitching can build a wider field of view for surveillance, which faces a compromise between stitching speed and visual quality. A fast and robust real-time surveillance video stitching method is proposed to deal with the ghosting effect caused by moving objects and misalignments caused by background change or slight camera shift through automatic updating. By stitching key frames, parameters such as pix mapping table, stitching seams and blending weights are calculated, and most of subsequent frames are directly blended with CUDA acceleration based on the pre-calculated stitching parameters. Fast and effective algorithms are designed to detect the change of stitching seam and background during the whole stitching process, which determines whether to update the stitching seam or recalculate stitching parameters. Experiments show that this method can robustly and automatically solve the ghosting and misalignments to improve visual quality and achieve satisfactory real-time performance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Automatic Exploit Generation Method Based on Symbolic Execution

An Automatic Exploit Generation Method Based on Symbolic Exe...

引用

International Conference on Instrumentation, Measurement, Computer, Communication and control (IMCCC)

作者： Hao Fang Wenbo Fen Menglin Fu Institute of Command and Control engineering Army Engineering University Of PLA Army Engineering University of PLA Nanjing China

ISBN: (数字)9781538682463

ISBN: (纸本)9781538682470

Return-to-dl-resolve [3] is a general exploit technology that can break through complex protection mechanisms. However, it's hard to be employed for security researchers must understand the principle of ELF dynamic linking and construct shell-code manually. This paper proposes an automatic method to generate Return-to-dl-resolve exploit based on symbolic execution, which provides a symbolic execution environment for ELF executable files, constrains symbolic program state at crash point and solves the constraints through constraint solver, then implements a system called R2d1AEG to generate Return-to-dl-resolve ShellCode automatically. The experimental results show that R2dlAEG system can generate shell-code more quickly and can break both NX and ASLR.

关键词： Computer crashes Ground penetrating radar Geophysical measurement techniques Engines Libraries Security Analytical models

来源：评论

学校读者我要写书评

暂无评论

Secure transmission in wireless powered cooperative communication network with finite energy storage

Secure transmission in wireless powered cooperative communic...

引用

IET 8th International Conference on Wireless, Mobile &Multimedia Networks

作者： Yong Wang Tao Zhang Weiwei Yang Yu Yu College of Communication Engineering Army Engineering University of PLA Nanjing China The Sixty-third Research Institute National University of Defense Technology Nanjing China 31131 Troops Eastern Theater Command of PLA Nanjing China

ISBN: (纸本)9781839531637

This paper investigates secure transmission in a wireless powered cooperative communication network (WPCCN), where multiple intermediate energy harvesting (EH) nodes are deployed to assist the secure transmission between a source and a destination in the presence of an eavesdropper. Each intermediate EH node has a finite energy storage (battery) to accumulate the energy harvested from the source's radio frequency (RF) signal. In order to exploit the intermediate nodes for secure improvement, a relay-and-jammer selection scheme called energy threshold based best-relay and bestjammer (ETBB) is proposed according to the energy storage status and channel gains. Specifically, one node is selected as relay to forward the source's confidential signal, and another node is selected to jam the eavesdropper. Moreover, for evaluating the secrecy performance, the evolution of the EH nodes' energy storage has to be tracked firstly since the residual energy at each EH node is a critical factor that affects the transmit power. Using finite-state Markov Chain (FSMC), we study the long-term energy evolution at the EH nodes. Based on this, we derive the analytical expression for the hybrid outage probability (HOP) of the considered WPCCN. Finally, simulation results reveal that the ETBB scheme outperforms the existing bR-bJ scheme due to the consideration of the energy accumulation issue and the energy storage status at the EH nodes. And, there is a suitable value of the energy threshold for the ETBB scheme to achieve the optimal secrecy performance.

关键词： PHYSICAL LAYER SECURITY ENERGY HARVESTING MARKOV CHAIN secure transmission energy storage Markov chain OFFICE OF THE ASSISTANT SECRETARY FOR ENVIRONMENT, ET. AL. wireless Transmitter power cooperative communication radio frequency signal networks(communications) Line of nodes Residual energy intermediate node Energy sources Ganglia

来源：评论

学校读者我要写书评

暂无评论

Output Kernel Learning for Multi-Output Regression

Output Kernel Learning for Multi-Output Regression

引用

International Conference on Instrumentation, Measurement, Computer, Communication and control (IMCCC)

作者： Yanqin Tang Zhisong Pan Yanyan Zhang Institute of Command Control Engineering Army Engineering University of PLA Nanjing

ISBN: (数字)9781538682463

ISBN: (纸本)9781538682470

Multi-output regression is the extension of single output learning, which requires one input sample to predict multiple real-valued output variables simultaneously. Previous studies have shown that multi-output learning yield to a better predictive performance, mostly because of the multivariate nature and the compound dependencies between the multiple feature/target variables. But these relationships are sometimes hard to detect directly, so it is a challenge to reveal the relationship between these input features and output variables. In order to improve the accuracy of the prediction, we propose a new kernel-based multi-output regression method to study the internal relationship between output variables, called KMOR. Our method is searched the framework between multiple functions and output into a reproducing kernel Hilbert space of vector-valued functions. It constructs input kernel by user-defined to represent the relationship between input characteristics and output kernel by auto-learned to represent the relationship between output variable, we also use an efficient alternating optimization to solve the objective function. We have done experiments on fifteen data sets from a variety of interesting application domains and use relative root mean squared error (RRMSE) as performance measurement, which show that this method can improve the accuracy of regression and has very fast convergence speed in comparison with state-of-the-art methods for multi-output regression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：