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

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

来源：评论

学校读者我要写书评

暂无评论

Dynamic evolution of collective emotions in social networks: a case study of Sina weibo

引用

Science China(Information Sciences) 2013年第7期56卷 150-167页

作者： XIONG XiaoBing ZHOU Gang HUANG YongZhong CHEN HaiYong XU Ke State Key Laboratory of Mathematical Engineering and Advanced Computing State Key Laboratory of Software Development Environment Beihang University

Emotion is a fundamental object of human existence and determined by a complex set of factors. With the rapid development of online social networks (OSNs), more and more people would like to express their emotion in OSNs, which provides wonderful opportunities to gain insight into how and why individual emotion is evolved in social network. In this paper, we focus on emotion dynamics in OSNs, and try to recognize the evolving process of collective emotions. As a basis of this research, we first construct a corpus and build an emotion classifier based on Bayes theory, and some effective strategies (entropy and salience) are introduced to improve the performance of our classifier, with which we can classify any Chinese tweet into a particular emotion with an accuracy as high as 82%. By analyzing the collective emotions in our sample networks in detail, we get some interesting findings, including a phenomenon of emotion synchronization between friends in OSNs, which offers good evidence for that human emotion can be spread from one person to another. Furthermore, we find that the number of friends has strong correlation with individual emotion. Based on those useful findings, we present a dynamic evolution model of collective emotions, in which both self-evolving process and mutual-evolving process are considered. To this end, extensive simulations on both real and artificial networks have been done to estimate the parameters of our emotion dynamic model, and we find that mutual-evolution plays a more important role than self-evolution in the distribution of collective emotions. As an application of our emotion dynamic model, we design an efficient strategy to control the collective emotions of the whole network by selecting seed users according to k-core rather than degree.

关键词： online social network emotion classifier emotion spread emotion dynamic model emotion controlling

来源：评论

学校读者我要写书评

暂无评论

A Malware Threat Decision Model Based on Dynamic Multi-Source Data Acquisition

A Malware Threat Decision Model Based on Dynamic Multi-Sourc...

引用

2014 International Conference on Computer,Network Security and Communication engineering(CNSCE 2014)

作者： Di SUN Jian-min PANG Chao DAI State Key Laboratory of Mathematical Engineering and Advanced Technological Research Center

With the continuous advent of malware, in order to improve the utilization ratio of resources and deal with the threat of malware effectively, in this paper, we provide a malware threats decision model for multilevel emergency response and early warning system. Different from traditional analyzing and decision-making, we establish a dynamic multi-source data acquisition framework of malicious behavior, which is used to collect the host behavior of malware, then make a quantitative analysis of the collected information, establish the vector of evaluation, and establish the Threat Decision Model based on Dynamic Multi-source data Acquisition DAMD, which used to assess the threat of malware. This paper solves the problem of lack of malware threats decision of multilevel emergency response and early warning system, at the same time;it provides valuable reference and basis for further research of malware threats analysis.

关键词： Malware threat Multi-source data acquisition Evaluation vector Threat decision model

来源：评论

学校读者我要写书评

暂无评论

ESSVCS: An enriched secret sharing visual cryptography

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8363卷 1-24页

作者： Liu, Feng Yan, Wei Q. Li, Peng Wu, Chuankun State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing 100093 China School of Computing and Mathematical Sciences Auckland University of Technology 1142 New Zealand Department of Mathematics and Physics North China Electric Power University Baoding Hebei 071003 China

Visual Cryptography (VC) is a powerful technique that combines the notions of perfect ciphers and secret sharing in cryptography with that of raster graphics. A binary image can be divided into shares that are able to be stacked together so as to approximately recover the original image. VC is a unique technique in the sense that the encrypted message can be decrypted directly by the Human Visual System (HVS). The distinguishing characteristic of VC is the ability of secret restoration without the use of computation. However because of restrictions of the HVS, pixel expansion and alignment problems, a VC scheme perhaps can only be applied to share a small size of secret image. In this paper, we propose a general method to let the VC shares carry more secrets, the technique is to use cypher output of private-key systems as the input random numbers of VC scheme, meanwhile the encryption key could be shared, the shared keys could be associated with the VC shares. After this operation, VC scheme and secret sharing scheme are merged with the private-key system. Under this design, we implement a (k,t,n)-VC scheme. Compared to those existing schemes, our approach could greatly enhance the ability of current VC schemes and could cope with pretty rich secrets. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Binary images

来源：评论

学校读者我要写书评

暂无评论

A cost model for automatic OpenMP parallelization

引用

Ruan Jian Xue Bao/Journal of Software 2014年 25卷 101-110页

作者： Li, Yan-Bing Zhao, Rong-Cai Liu, Xiao-Xian Zhao, Jie PLA Information Engineering University Zhengzhou450001 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450001 China Logistics Information Center Guangzhou Military Region Joint Logistics Department Guangzhou510000 China

Existing OpenMP cost models does not give enough thought to the implementation details of OpenMP programs so they cannot be applied widely to different types of parallel loops. To solve this problem, this study extends the cost model in the most advanced product-level optimizing compiler Open64. Targeting single candidate parallel loop, it establishes a cost model suite for the OpenMP benefit analysis. Besides improving the original DOALL-loop faced cost model in the Open64 compiler, two additional models which are also designed for DOACROSS and DSWP (Decoupled Software Pipelining) loops respectively. The experimental results show that the proposed cost model suite can simulate the execution cost of parallel programs very well, and therefore can better support cost evaluation of OpenMP parallelization. ©2014 ISCAS.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

Method based on GSCPN for network vulnerability analysis

Journal of Software

引用

Journal of Software 2013年第8期8卷 2032-2038页

作者： Gao, Xiang Zhu, Yue-Fei Fei, Jin-Long Han, Tao State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450002 China

With the development of network security research, network attack modeling and analysis techniques have been paid more and more attention. A generalized stochastic colored Petri Net (GSCPN) Model is proposed. To each attack, a GSCPN model is constructed to describe the relation of components graphically. Algorithm to construct a composite attack and method for network vulnerability analysis are delivered also. The exploitation cost of vulnerabilities is estimated. The method is relatively simple, which is different from traditional method. The network example further validates the proposed method for network vulnerability analysis. © 2013 ACADEMY PUBLISHER.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Cryptographic Algorithms Analysis Technology Research Based on Functions Signature Recognition

Cryptographic Algorithms Analysis Technology Research Based ...

引用

International Conference on Computational Intelligence and Security

作者： Rui Chang Liehui Jiang Hui Shu Hongqi He MEAC State Key Laboratory of Mathematic Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781479974351

At present, the research on software reverse engineering pays more attention to cryptographic algorithms recognition and analysis. Malwares are becoming increasingly stealthy, more and more malwares are using cryptographic algorithms to protect themselves from being analyzed. There are no mature theory and tools to analyze cryptographic algorithms from the executable files effectively and exactly. In order to solve the problem efficiently, this paper discusses functions signature recognition technology, creating the cryptographic algorithms library including more than 3000 signature characteristics, and explores a way to recognize cryptographic algorithms based on functions signature recognition. Finally, the experiment results indicate the method is effective and feasible.

关键词： Libraries Algorithm design and analysis Feature extraction Software algorithms Character recognition Ciphers

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：