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

International Conference on Computational Intelligence and Security

作者： Xin Xie Fenlin Liu Bin Lu Fei Xiang Zhengzhou Information Science and Technology Institute The State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

ISBN: (纸本)9781479974351

Static disassembly is used to analyze program control flow that is the key process of reverse analysis. Aiming at the problem that attackers are always using static disassembly to analyze control transfer instructions and control flow graph, a mixed obfuscation of overlapping instruction and self-modify code based on hyper-chaotic opaque predicates is proposed, jump offsets in overlapping instructions and data offsets in self-modify code are constructed with opaque predicates. Control transfer instructions are modified into control transfer unrelated ones with the combination of characteristics of overlapping instruction and self-modify code. Experiments and analysis show that control flow graph can be obfuscated by mixed obfuscation due to the difficulty of hyper-chaotic opaque predicates for attackers to analyze.

关键词： Resists Flow graphs Software Chaos Resistance Watermarking

来源：评论

学校读者我要写书评

暂无评论

An object based software tool for software measurement

An object based software tool for software measurement

引用

International Conference on Information Communication and Embedded Systems (ICICES)

作者： G. Santhoshini K. Anbazhagan Zhengzhou Information Science and Technology Institute The State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan China

Software metrics are vital tools to enhance the quality of computer software, and to help in the control of software projects. Object-oriented technology is a new promising approach for developing software systems to reduce software costs and to improve software productivity. Object-oriented metrics is a quantitative measure of the degree to which the software-system or component or process possess the given attribute. From the earliest days of the software engineering discipline there has been wide agreement of the need to measure software processes and products as a pre-condition for establishing control over development activities. Developing modules in a multi-suite environment would result in the problem of integration into a project. Software metrics are useful techniques to avoid this problem. The existing tools are not free of cost. The proposed project is to extract a general subset of these metrics for an object-oriented software development project and is to be of free of cost.

关键词： Complexity theory Software Couplings Software metrics Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Using C to implement high-efficient computation of dense optical flow on FPGA-accelerated heterogeneous platforms

Using C to implement high-efficient computation of dense opt...

引用

IEEE International Conference on Field-Programmable Technology (FPT)

作者： Zhilei Chai Haojie Zhou Zhibin Wang Dong Wu School of Internet of Things Engineering Jiangnan University Wuxi China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781479962464

High-quality algorithms for dense optical flow computation are computationally intensive. To compute them with high speed and low power is vital to make optical flow computation applicable in real-world applications. In contrast to only the Horn-Schunck model being studied on FPGA-based systems today, one of the best linear variational methods for dense optical flow computation, Combine-Brightness-Gradient, is implemented on FPGA-accelerated heterogeneous platforms in this paper. C instead of HDLs is employed and optimizing techniques based on the algorithmic parallelism and hardware architecture are introduced. Experimental results show that 30-110x improvement of the computing efficiency over CPUs was achieved. The FPGA-accelerated version is able to process 640 × 480 image at 12 fps with 0.38 J per frame, while it is 0.8 fps and around 40 J on CPUs. Through demonstrating high performance and low power of dense optical flow algorithm on FPGA-based heterogeneous platforms implemented in C, this paper shows that the off-the-shelf commodity FPGAs coupled with High-Level-Synthesis (HLS) tools could provide an available option when computational efficiency together with development speed are required.

关键词： Optical imaging Optical computing Nonlinear optics Field programmable gate arrays Parallel processing Computer vision Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Double LDA: A Sentiment Analysis Model Based on Topic Model

Double LDA: A Sentiment Analysis Model Based on Topic Model

引用

International Conference on Semantics, Knowledge and Grid (SKG)

作者： Xue Chen Wenqing Tang Hao Xu Xiaofeng Hu School of Computer Engineering and Science Shanghai University Shanghai China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China

ISBN: (纸本)9781479967162

The sentiment mining is a fast growing topic of both academic research and commercial applications, especially with the widespread of short-text applications on the Web. A fundamental problem that confronts sentiment mining is the automatics and correctness of mined sentiment. This paper proposes an DLDA (Double Latent Dirichlet Allocation) model to analyze sentiment for short-texts based on topic model. Central to DLDA is to add sentiment to topic model and consider sentiment as equal to topic, but independent of topic. DLDA is actually two methods DLDA I and its improvement DLDA II. Compared to the single topic-word LDA, the double LDA I, i.e., DLDA I designs another sentiment-word LDA. Both LDAs are independent of each other, but they combine to influence the selected words in short-texts. DLDA II is an improvement of DLDA I. It employs entropy formula to assign weights of words in the Gibbs sampling based on the ideas that words with stronger sentiment orientation should be assigned with higher weights. Experiments show that compared with other traditional topic methods, both DLDA I and II can achieve higher accuracy with less manual needs.

关键词： Sentiment analysis Analytical models Motion pictures Resource management Entropy Algorithm design and analysis Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Improving guide-based vulnerability detection with hybrid symbolic execution

Improving guide-based vulnerability detection with hybrid sy...

引用

International Conference on Systems and Informatics (ICSAI)

作者： Yongji Ouyang Shuai Zeng Chao Yang Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China State Key Laboratory of Management and Control for Complex System Institute of Automation Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781479954599

Symbolic Execution is a key and useful technology in current refinement software test, but there still exists some problems such as space explosion. In order to mitigate this problem and improve the ability for detecting vulnerabilities, this paper presents the improving guide-based vulnerability detection with hybrid symbolic execution, which aims to test suspicious objects. This method conducts path traversal with a hybrid symbolic execution model, which alternates between dynamic and static symbolic execution, and verify whether it is vulnerability through summarizing the characteristics of vulnerabilities and generating a constraint expression. Experimental result shows that this method can successfully detect errors in 56 seconds, which exceeds any other modern mainstream symbolic execution tools including CUTE, KLEE, S2E and Cloud9. Compared with CUTE, this method alleviates the problem of space explosion. Besides, this papaer successfully verifies the vulnerabilities of OpenSSL and some other commonly used software.

关键词： Testing Algorithm design and analysis Software Explosions Refining Context Hybrid power systems

来源：评论

学校读者我要写书评

暂无评论

A Thread-Aware Adaptive Data Prefetcher

A Thread-Aware Adaptive Data Prefetcher

引用

IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： Jiyang Yu Peng Liu State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Department of Information Science and Electronic Engineering Zhejiang University Hangzhou China

ISBN: (纸本)9781479964932

Most processors employ hardware data prefetching to hide memory access latencies. However the prefetching requests from different threads on a multi-core processor can cause severe interference with prefetching and/or demand requests of others. The data prefetching can lead to significant performance degradation due to shared resource contention on shared memory multi-core systems. This paper proposes a thread-aware data prefetching mechanism based on low-overhead run-time information to tune prefetching modes and aggressiveness, mitigating the resource contention in the memory system. Our solution has two new components: 1) a filtering mechanism that informs the hardware about which prefetching requests can cause shared data invalidation and should be discarded, and 2) a self-tuning prefetcher that uses run-time feedback to adjust each thread's data prefetching mode and arguments. On a set of parallel benchmarks, our thread-aware data prefetching mechanisms improve the overall performance of 64-core system by 11% and reduce the energy-delay product by 13% over a multi-mode prefetch baseline system with a two level cache organization and a conventional MESI-based directory coherence protocol. We compare our approach to the feedback directed prefetching (FDP) technique and find that it provides better performance on multi-core systems, while reducing the energy delay product.

关键词： Prefetching Accuracy Measurement Engines Hardware

来源：评论

学校读者我要写书评

暂无评论

Cryptanalysis of an Implementation of TTM Cryptosystems Based on Q2k-module

Cryptanalysis of an Implementation of TTM Cryptosystems Base...

引用

2013 International Conference on advanced Computer Science and Electronics Information(ICACSEI 2013)

作者： Hongwei Tao State Key Laboratory of Mathematical Engineering and Advanced Computing ZhengzhouChina China National Digital Switching System Engineering and Technological Research Center

TTM cryptosystems proposed by *** are very fast due to the properties of tame automorphisms and small finite fields. The success of the first implementation of this system relies on the construction of Q 8 -module. Unfortunately, Jintai Ding and Timonthy Hodges have defeated it by decomposing function Q 8 into terms S, T 1 , T 2 . Later Chunyen Chou, D. J. Guan and Jiunming Chen gave a systematic way to construct Q 2 k -module. In this paper, we describe an implementation of TTM cryptosystems based on this Q 2 k -module, then with method similar to Ding-Hodges, we break this implementation. For any given ciphertext, we can derive the corresponding plaintext within O((n+r) 6 ) F 2 m -operations, where n+r is the number of ciphertext variables.

关键词： Multivariate public key cryptosystems, TTM, high order linearization equations

来源：评论

学校读者我要写书评

暂无评论

Program Crash Analysis Based on Taint Analysis

Program Crash Analysis Based on Taint Analysis

引用

International Conference on P2P, Parallel, Grid, Cloud and Internet computing (3PGCIC)

作者： Zhang Puhan Wu Jianxiong Wang Xin Zehui Wu China Information Technology Security Evaluation Center Beijing China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781479978724

Software exception analysis can not only improve software stability before putting into commercial, but also could optimize the priority of patch updates subsequently. We propose a more practical software exception analysis approach based on taint analysis, from the view that whether an exception of the software can be exploited by an attacker. It first identifies the type of exceptions, then do taint analysis on the trace that between the program entry point to exception point, and recording taint information of memory set and registers. It finally gives the result by integrating the above recording and the subsequent instructions analysis. We implement this approach to our exception analysis framework ExpTracer, and do the evaluation with some exploitable/un-exploitable exceptions which shows that our approach is more accurate in identifying exceptions compared with current tools.

关键词： Computer crashes Registers Software Optimization Algorithm design and analysis Instruments Personnel

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Proton-hole and core-excited states in the semi-magic nucleus 131In82

引用

The European Physical Journal A 2016年第12期52卷 1-2页

作者： Taprogge, J. Jungclaus, A. Grawe, H. Borzov, I. N. Nishimura, S. Doornenbal, P. Lorusso, G. Simpson, G. S. Söderström, P. -A. Sumikama, T. Xu, Z. Y. Baba, H. Browne, F. Fukuda, N. Gernhäuser, R. Gey, G. Inabe, N. Isobe, T. Jung, H. S. Kameda, D. Kim, G. D. Kim, Y. -K. Kojouharov, I. Kubo, T. Kurz, N. Kwon, Y. K. Li, Z. Sakurai, H. Schaffner, H. Shimizu, Y. Steiger, K. Suzuki, H. Takeda, H. Vajta, Zs. Watanabe, H. Wu, J. Yagi, A. Yoshinaga, K. Benzoni, G. Bönig, S. Chae, K. Y. Coraggio, L. Daugas, J. -M. Drouet, F. Gadea, A. Gargano, A. Ilieva, S. Itaco, N. Kondev, F. G. Kröll, T. Lane, G. J. Montaner-Pizá, A. Moschner, K. Mücher, D. Naqvi, F. Niikura, M. Nishibata, H. Odahara, A. Orlandi, R. Patel, Z. Podolyák, Zs. Wendt, A. Instituto de Estructura de la Materia CSIC Madrid Spain Departamento de Física Teórica Universidad Autónoma de Madrid Madrid Spain RIKEN Nishina Center RIKEN Saitama Japan GSI Helmholtzzentrum für Schwerionenforschung GmbH Darmstadt Germany National Research Centre “Kurchatov Institute” Moscow Russia Joint Institute for Nuclear Research Dubna Russia National Physical Laboratory NPL Teddington UK Department of Physics University of Surrey Guildford UK CNRS/IN2P3 Institut National Polytechnique de Grenoble LPSC Université Joseph Fourier Grenoble 1 Grenoble Cedex France Department of Physics Tohoku University Sendai Japan Department of Physics University of Tokyo Tokyo Japan School of Computing Engineering and Mathematics University of Brighton Brighton UK Physik Department E12 Technische Universität München Garching Germany Institut Laue-Langevin Grenoble Cedex 9 France Department of Physics Chung-Ang University Seoul Korea Rare Isotope Science Project Institute for Basic Science Daejeon Korea Department of Nuclear Engineering Hanyang University Seoul Korea School of Physics and State key Laboratory of Nuclear Physics and Technology Peking University Beijing China MTA Atomki Debrecen Hungary Department of Physics Osaka University Toyonaka Japan Department of Physics Faculty of Science and Technology Tokyo University of Science Noda Japan INFN Sezione di Milano Milano Italy Institut für Kernphysik Technische Universität Darmstadt Darmstadt Germany Department of Physics Sungkyunkwan University Suwon Korea Istituto Nazionale di Fisica Nucleare Complesso Universitario di Monte S. Angelo Napoli Italy CEA DAM DIF Arpajon cedex France Instituto de Física Corpuscular CSIC-Univ. of Valencia Paterna Spain Seconda Università di Napoli Dipartimento di Matematica e Fisica Caserta Italy Nuclear Engineering Division Argonne National Laboratory Argonne USA Department of Nuclear Physics Research School of Physical Sciences and Engineering Austr

来源：评论

学校读者我要写书评

暂无评论

Chip waveforms attribute recognition model research and design

Chip waveforms attribute recognition model research and desi...

引用

2014 International Conference on Manufacturing Technology and Electronics Applications, ICMTEA 2014

作者： Xiao, Da Feng, Jing Zhu, Yue Fei Peng, Fei Lan, Jing Hong Computer network department ZhengZhou Information Science University ZhengZhouHeNan China State Key Laboratory of Mathematical Engineering and Advanced Computing ZhengZhouHeNan China Urumqi General Hospital of PLA.Urumqi 7 Jianxue Street Xinjiang Uygur Zizhiqu Jinshui District ZhengZhouHeNan China

ISBN: (纸本)9783038353287

For hardware Trojan detection process is difficult to effectively extract the exact equivalent logic function of the target chip logic function is proposed based on contradictory truth table equivalent extraction scheme and key Enabling technologies. Designed to target chip waveforms attribute recognition model, through the analysis of multiple properties of the model and proof, the work is given waveform attribute recognition model parameter setting principles. © (2014) Trans Tech Publications, Switzerland.

关键词： Malware

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：