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

International Conference on Dependable Systems and Networks (DSN)

作者： Qixue Xiao Yu Chen Chengang Wu Kang Li Junjie Mao Shize Guo Yuanchun Shi Dept. of Computer Science and Technology Tsinghua University Beijing China Tsinghua University Beijing Beijing CN State Key Laboratory of Computer Architecture Chinese Academy of Sciences Beijing China Dept. of compute Science University of Georgia Georgia USA School of CyberSpace Security Beijing University of Posts and Telecommunications Beijing China

ISBN: (纸本)9781538605431

The study of software bugs has long been a key area in software security. Dynamic symbolic execution, in exploring the program's execution paths, finds bugs by analyzing all potential dangerous operations. Due to its high coverage and abilities to generate effective testcases, dynamic symbolic execution has attracted wide attention in the research community. However, the success of dynamic symbolic execution is limited due to complex program logic and its difficulty to handle large symbolic data. In our experiments we found that phase-related features of a program often prevents dynamic symbolic execution from exploring deep paths. On the basis of this discovery, we proposed a novel symbolic execution technology guided by program phase characteristics. Compared to KLEE, the most well-known symbolic execution approach, our method is capable of covering more code and discovering more bugs. We designed and implemented pbSE system, which was used to test several commonly used tools and libraries in Linux. Our results showed that pbSE on average covers code twice as much as what KLEE does, and we discovered 21 previously unknown vulnerabilities by using pbSE, out of which 7 are assigned CVE IDs.

关键词： Concrete computer bugs Software Tools security Explosions Libraries

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Fast and scalable lock methods for video coding on many-core architecture” [J. Vis. Commun. Image R. 25(7) (2014) 1758–1762]

引用

Journal of Visual Communication and Image Representation 2015年 27卷 57-57页

作者： Weizhi Xu Hui Yu Dianjie Lu Fenglong Song Da Wang Xiaochun Ye Songwei Pei Dongrui Fan Hongtao Xie Institute of Microelectronics Tsinghua University Beijing China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China School of Information Science and Engineering Shandong Normal University Jinan China Department of Computer Science and Technology Beijing University of Chemical Technology Beijing China Institute of Information Engineering Chinese Academy of Sciences National Engineering Laboratory for Information Security Technologies Beijing China

来源：评论

学校读者我要写书评

暂无评论

Corrigendum to “Fast and scalable lock methods for video coding on many-core architecture” [J. Vis. Commun. 25 (7) (2014) 1758–1762]

引用

Journal of Visual Communication and Image Representation 2015年 26卷 350-350页

来源：评论

学校读者我要写书评

暂无评论

Side-channel vulnerability factor: A metric for measuring information leakage 12

Side-channel vulnerability factor: A metric for measuring in...

引用

Annual International Symposium on computer architecture, ISCA

作者： John Demme Robert Martin Adam Waksman Simha Sethumadhavan Computer Architecture Security and Technology Laboratory Department of Computer Science Columbia University New York NY USA

ISBN: (纸本)9781450316422

There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. However there is currently no systematic, holistic methodology for understanding information leakage. As a result, it is not well known how design decisions affect information leakage or the vulnerability of systems to side-channel attacks. In this paper, we propose a metric for measuring information leakage called the Side-channel Vulnerability Factor (SVF). SVF is based on our observation that all side-channel attacks ranging from physical to microarchitectural to software rely on recognizing leaked execution patterns. SVF quantifies patterns in attackers' observations and measures their correlation to the victim's actual execution patterns and in doing so captures systems' vulnerability to side-channel attacks. In a detailed case study of on-chip memory systems, SVF measurements help expose unexpected vulnerabilities in whole-system designs and shows how designers can make performance-security trade-offs. Thus, SVF provides a quantitative approach to secure computer architecture.

关键词： Correlation Prefetching Time measurement Cryptography Noise

来源：评论

学校读者我要写书评

暂无评论

Linear complexity of sequences produced by single cycle T-function

引用

The Journal of China Universities of Posts and Telecommunications 2011年第4期18卷 123-128页

作者： WANG Yan HU Yu-pu LI Shun-bo YANG Yang Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi'an 710071 China Department of Mathematics Xi'an University of Architecture and Technology Xi'an 710055 China

Four kinds of sequences generated by single cycle triangular function （T-function） are investigated to check the possibility for a single cycle T-function to be a cryptographic component in stream ciphers. Based on the special properties of single cycle T-function and an algorithm due to Wei, linear complexities of these four kinds of sequence are all acquired. The results show that single cycle T-function sequences have high linear complexity. Therefore, T-function satisfies the essential requirements being a basic component of stream cipher.

关键词： stream cipher single cycle T-function linear complexity

来源：评论

学校读者我要写书评

暂无评论

Autocorrelation of Sequences Generated by Single Cycle T-Functions

引用

China Communications 2011年第5期8卷 144-150页

作者：王艳胡予濮李顺波杨旸 Ministry of Education Key Laboratory of Computer Networds and Information Security Xidian University Department of Mathematics Xi'an University of Architecture and Technology

Cryptographic properties of the single cycle T-function's output sequences are *** of autocorrelation functions of the kth coordinate sequence and bounds of state output sequence are calculated *** Maximum Sidelobe Ratio(MSR) of the kth coordinate sequence and the MSR of state output sequence are given *** bounds of autocorrelation functions show that the values of autocorrelation functions are large when shifts are *** of the autocorrelations between the state output sequence and coordinate output sequence are *** autocorrelation properties demonstrate that T-functions have cryptographic weaknesses and the illustration result shows coordinate output sequences have better autocorrelation than that of state output sequences.

关键词： cryptography pseudo-random sequences autocorrelation single cycle T-function

来源：评论

学校读者我要写书评

暂无评论

Silencing Hardware Backdoors

Silencing Hardware Backdoors

引用

IEEE Symposium on security and Privacy

作者： Adam Waksman Simha Sethumadhavan Computer Architecture and Security Technology Laboratory Department of Computer Science Columbia University New York USA

Hardware components can contain hidden backdoors, which can be enabled with catastrophic effects or for ill-gotten profit. These backdoors can be inserted by a malicious insider on the design team or a third-party IP provider. In this paper, we propose techniques that allow us to build trustworthy hardware systems from components designed by untrusted designers or procured from untrusted third-party IP providers. We present the first solution for disabling digital, design-level hardware backdoors. The principle is that rather than try to discover the malicious logic in the design -- an extremely hard problem -- we make the backdoor design problem itself intractable to the attacker. The key idea is to scramble inputs that are supplied to the hardware units at runtime, making it infeasible for malicious components to acquire the information they need to perform malicious actions. We show that the proposed techniques cover the attack space of deterministic, digital HDL backdoors, provide probabilistic security guarantees, and can be applied to a wide variety of hardware components. Our evaluation with the SPEC 2006 benchmarks shows negligible performance loss (less than 1% on average) and that our techniques can be integrated into contemporary microprocessor designs.

关键词： Hardware security Hardware design languages Testing Nonvolatile memory System-on-a-chip Microprocessors

来源：评论

学校读者我要写书评

暂无评论

On the nonlinearity of some T-functions

引用

Journal of Information and Computational Science 2011年第11期8卷 2231-2237页

作者： Wang, Yan Hu, Yupu Li, Shunbo Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi'an 710071 China Department of Mathematics Xi'an University of Architecture and Technology Xi'an 710055 China

Single cycle T-functions are newly proposed components in stream cipher. In order to verify if such function is suitable for cipher design, the cryptographic properties of single cycle T-function are discussed. Nonlinearity of the kth coordinate function of single cycle T-functions are studied according to the properties of single cycle T-function and the Walsh transform. Lower bounds and upper bounds are given at different situations. The results show that a single cycle T-function itself have 0 nonlinearity, but the most significant coordinate function can get high nonlinearity. © 2011 Binary Information Press.

关键词： Walsh transforms

来源：评论

学校读者我要写书评

暂无评论

Cryptanalysis of dragon scheme

引用

The Journal of China Universities of Posts and Telecommunications 2010年第4期17卷 80-87页

作者： YUAN Feng HU Yu-pu WANG Yan OU Hai-wen Key Laboratory of Computer Networks and Information Security Ministry of Education Xidian University Xi'an 710071 China School of Science Xi'an University of Architecture and Technology Xi'an 710055 China Key Laboratory of Information Security Beijing Electronic Science and Technology Institute Beijing 100070 China

Patarin proposed the dragon scheme, pointed out the insecurity of the dragon algorithm with one hidden monomial and suggested a candidate dragon signature algorithm with a complicated function. This paper presents an algebraic method to attack the candidate dragon signature algorithm. The attack borrows the basic idea of the attack due to Kipnis and Shamir, and utilizes the underlying algebraic structure of the candidate dragon signature algorithm over the extension field to derive a way to enable the variable Y be viewed as a fixed value. The attack recovers the private keys efficiently when the parameters are n≤2s and D=[logq^d]≤3.

关键词： cryptography public key cryptography polynomials mapping multivariate dragon scheme algebraic method cryptanalysis

来源：评论

学校读者我要写书评

暂无评论

security analysis of projected C*- scheme

Security analysis of projected C*- scheme

引用

International Conference on Multimedia Information Networking and security

作者： Yuan, Feng Hu, Yupu Wang, Yan Key Laboratory of Computer Networks and Information Security Xidian University Xi'an China School of Science Xi'an University of Architecture and Technology Xi'an China

ISBN: (纸本)9780769542584

This paper investigates the security of the projected C*- cryptographic scheme, and presents a method to attack the scheme. The basic idea of the attack is to utilize the affine part of the private keys and the weakness caused by the structure of the private key to find a number of linear equations. The attack can recover the private keys efficiently when the parameters are q ≤ 23, n ≤ 10 and s=1. © 2010 IEEE.

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：