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

A Data Assured Deletion Scheme in Cloud Storage

China Communications 2014年第4期11卷 98-110页

作者： LI Chaoling CHEN Yue ZHOU Yanzhou PLA Information Engineering University Zhengzhou 450001 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450001 China

In order to provide a practicable solution to data confidentiality in cloud storage service,a data assured deletion scheme,which achieves the fine grained access control,hopping and sniffing attacks resistance,data dynamics and deduplication,is *** our scheme,data blocks are encrypted by a two-level encryption approach,in which the control keys are generated from a key derivation tree,encrypted by an All-OrNothing algorithm and then distributed into DHT network after being partitioned by secret *** guarantees that only authorized users can recover the control keys and then decrypt the outsourced data in an ownerspecified data *** confidentiality,data dynamics and deduplication are also achieved separately by adjustment of key derivation tree and convergent *** analysis and experimental results show that our scheme can satisfy its security goal and perform the assured deletion with low cost.

关键词： cloud storage data confidentiality secure data assured deletion data dynamics

来源：评论

学校读者我要写书评

暂无评论

Research on General Permutation Encryption Module based on Chaos Theory

Research on General Permutation Encryption Module based on C...

引用

2014 5th International Conference on Information Technology for Manufacturing Systems(ITMS 2014)

作者： Wenjie Sun State Key Laboratory of Mathematical Engineering and Advanced Computing

Replacement and substitution encryption are two basic types of encryption historically. The classical encryption algorithm has been compromised now, but they still can play special role for modern cryptology. For example, in digital image encryption system, substitution can disrupt the original order of the images and eliminate the correlation of image information which not only can realize security of images, but also can resist intentional attack and destruction of clipping and noise. And transposition transformation is introduced into the design of block ciphers. The substitution has the feature of high efficiency and resistance, which makes it meet the specific requirements of encryption. So substitution cypher can be applied to modern encryption system.

关键词： Chaos theory General substitution Encryption

来源：评论

学校读者我要写书评

暂无评论

Register one-to-one mapping strategy in Dynamic Binary Translation

引用

2014 International Conference on Network Security and Communication engineering(NSCE 2014)

作者： Y.N.Cui J.M.Pang Z.Shan F.Yue State Key Laboratory of Mathematical Engineering and Advanced Computing

Dynamic Binary Translation（DBT） is an important technology to cross-platform software transplantation such as enhancing the compatibility of ***,there exist some factors that impede its performance:high translation overhead and translated code of low *** this work,we take advantage of host registers,using register mapping strategy to promote the performance of *** mapping registers from guest Instruction-Set Architectures（ISA） to host machines,it could off-load the overhead caused by load and store operations of *** simplifying the rules of the intermediate code generated,it could lower the number of intermediate code and improve the quality of translated *** X86 to ALPHA on SPEC 2006,the code expansion reduces 32.86%and the performance of the optimized translator is improved by 7.55%.

关键词： Dynamic binary translation Overhead Registers mapping Performance optimization

来源：评论

学校读者我要写书评

暂无评论

Research on General Permutation Encryption Module Based on Chaos Theory

引用

International Journal of Technology Management 2014年第7期 58-61页

作者： Sun Wenjie State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou Henan 102206

Replacement and substitution encryption are two basic types of encryption historically. The classical encryption algorithm has been compromised now, but they still can play special role for modem cryptnlogy. For example, in digital image encryption system, substitution can disrupt the original order of the images and eliminate the correlation of image information which not only can realize security of images, but also can resist intentional attack and destruction of clipping and noise. And transposition transformation is introduced into the design of block ciphers. The substitution has the feature of high efficiency and resistance, which makes it meet the specific requirements of encryption. So substitution cypher can be applied to modern encryption system.

关键词： chaos theory general substitution encryption.

来源：评论

学校读者我要写书评

暂无评论

Cross-platform parallel programming in PARRAY: A case study

Cross-platform parallel programming in PARRAY: A case study

引用

11th IFIP WG 10.3 International Conference on Network and Parallel computing, NPC 2014

作者： Cui, Xiang Li, Xiaowen Chen, Yifeng HCST Key Lab. School of EECS Peking University Beijing China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Air Defense Forces Academy Zhengzhou China College of Computer and Information Engineering Henan University Kaifeng China

ISBN: (纸本)9783662449165

PARRAY (or Parallelizing ARRAYs) is an extension of C language that supports system-level succinct programming for heterogeneous parallel systems. Parray extends mainstream C programming with novel array types. This leads to shorter, more portable and maintainable parallel codes, while the programmer still has control over performance-related features necessary for deep manual optimization. This paper uses the case study on stepwise program refinement of matrix transposition to illustrate the basic techniques of PARRAY programming. © 2014 IFIP International Federation for Information Processing.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Randomness expansion with a one-sided trusted device

引用

Physical Review A 2015年第5期91卷 052308-052308页

作者： Hong Wang Kai Chen Ming Gao Zhi Ma Weilong Wang Chaobo Li Chuangui Ma State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou 450002 China Zhengzhou Information Science and Technology Institute Zhengzhou 450002 China National Laboratory for Physical Sciences at Microscale and Department of Modern Physics University of Science and Technology of China Hefei 230026 P.R. China CAS Excellence Innovation Center Synergetic Innovation Center of Quantum Information and Quantum Physics University of Science and Technology of China Hefei Anhui 230026 China

We study a semi-device-independent (SDI) randomness expansion protocol with a trusted source or detector. It is not difficult to characterize the source or the detector when their dimensions are limited in the SDI scenario. By adding the reasonable assumption, our protocol offers higher min-entropy and, thus, can be used to certify more randomness than the standard SDI protocol of H.-W. Li et al. [Phys. Rev. A 84, 034301 (2011)]. Moreover, randomness expansion can be realized with a lower detection efficiency (about 85.4%) in the trusted source case than the standard one (about 93.4%). Meanwhile, this advantage is robust against parameter deviations of the source. But on the other hand, the sharp measurement cannot improve the performance much in this case. So, there is no need to characterize the measurement accurately. Furthermore, an analytical formula describing the relationship between the dimension witness value and the min-entropy of the output string is derived directly.

关键词： QUANTUM measurement DETECTORS ENTROPY (Information theory) PERFORMANCE evaluation QUANTUM information theory

来源：评论

学校读者我要写书评

暂无评论

Static-Dynamic Control Flow Integrity

Static-Dynamic Control Flow Integrity

引用

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

作者： Xiaolong Liu Qiang Wei Ziwei Ye State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781479978724

CCFIR (Compact Control Flow Integrity and Randomization) has low performance overhead as an exploit mitigation, but it is hard to mitigate exploits by hijacking virtual function pointer, which are emerging in recent years. Because of the polymorphism of virtual functions, CCFIR can't determine a unique spring board stub. We propose a new practical protection method named SDCFI (Static-Dynamic Control Flow Integrity), whose goal is to protect virtual function pointers from hijacking. Taking advantage of static analysis result of IDA and PIN dynamic instrumentation, SDCFI improves the accuracy of the disassembly and identifies indirect call target addresses at runtime. We observe that there are always double 0x90 bytes for alignment in the gap between two functions, which can be substituted by a two-byte checkmark. Using the checkmark, SDCFI can validate a target more simply and faster than traditional CFI. Based on these approaches, SDCFI can prevent control-flow hijacking attacks including ROP, because the gadgets of stack pivot can't pass the validation. We evaluate our prototype implementation for Internet Explorer8 browser on Windows XP, which faces serious security threats since April 8, 2014. SDCFI protects most indirect call instructions in ***, and has low runtime overhead of 1.48% on average. Experiments on real-world exploits for IE8 browser also show that SDCFI can effectively mitigate exploits by hijacking virtual function pointer.

关键词： Runtime Browsers Registers Instruments Security Internet Accuracy

来源：评论

学校读者我要写书评

暂无评论

Detecting Information Leakage Based on Subtracting Matrix

Detecting Information Leakage Based on Subtracting Matrix

引用

International Symposium on Computational Intelligence and Design, ISCID

作者： Zongda Han Binglong Li State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781479970063

This paper proposes an approach of detecting information leakage based on subtracting matrix to determine files when and where were leaked from file system. Due to the low efficiency of detecting leak operation and the rapid growth of the size of storage device make it difficult to locate the place where the leakage occurred. We build a time matrix model by file system access timestamps in a suspicious information system. Then three kinds of two-value (0-1) matrices are generated based on the similarity of access timestamps in the time matrix. The behavior of information leakage can be finally determined by comparing the degree of the similarity in these matrices. The experimental results show the method can detect information leakage more quickly and accurately.

关键词： File systems Measurement Probability distribution Forensics Time complexity Drives Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Method of multi-feature fusion based on SVM and D-S evidence theory in Trojan detection

引用

Computer Modelling and New Technologies 2014年第6期18卷 304-310页

作者： Liu, Shengli Gao, Xiang Xu, Pan Liu, Long State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

According to the low accuracy and low stability of the single feature-based method for Trojan detection, a multi-feature fusion method based on SVM and DS evidence theory is proposed. First, three types of flow features such as session, upload data of session/download data of session, distribution of data packet size are extracted from the data stream. Then the SVM classification results of each single feature are used as evidences to construct the basic probability assigned (BPA). Finally, we use DS combination rule of evidence to achieve the decision fusion and give the final detection results by fusion results. The experimental results showed that the accuracy of multi-feature fusion method was 97.48% which has good performance on accuracy and stability compared with the single feature method in Trojan detection.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Leveraging Markov chain and optimal mutation strategy for smart fuzzing

Leveraging Markov chain and optimal mutation strategy for sm...

引用

ICINS 2014 - 2014 International Conference on Information and Network Security

作者： Yongji Ouyang Zehui Wu Qing Mu Qingxian Wang State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9781510804289

Fuzz testing is an important way of vulnerability discovery, however, the existing fuzzers based on symbolic execution and others have inherent shortcomings like needing more computing resource, in-depth analysis and so on. To solve above problems, this paper presents a smart fuzzing method based on Markov chain. Firstly, this method optimizes the testing input sample to get the minimal sample set. Secondly, this method records program execution information by using instrument, and makes a Markov model about state. Finally, this method uses Markov chain to detect the change of execution path, and leads tester to choose better samples to mutate. Meanwhile, we analyse mutation strategies in depth for better triggering exception. Experimental data shows that the presented method can help fuzzer to generate effective test samples. We discovers 51 vulnerabilities in software like WPS, along with the code coverage increases of nearly 49% comparing with zzuf and the average exception discovery rate increase nearly 9 times comparing with MiniFuzz.

关键词： Markov chain Mutation strategies Smart fuzzing Vulnerability discovery Markov chain PILLING execution path WPS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：