A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers

CSpace > 系统科学研究所

	A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
	Chai, Fengjuan; Gao, Xiao-Shan; Yuan, Chunming
	2008-06-01
发表期刊	JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY
ISSN	1009-6124
卷号	21 期号:2 页码:191-208
摘要	This paper presents a characteristic set method for solving Boolean equations, which is more efficient and has better properties than the general characteristic set method. In particular, the authors give a disjoint and monic zero decomposition algorithm for the zero set of a Boolean equation system and an explicit formula for the number of solutions of a Boolean equation system. The authors also prove that a characteristic set can be computed with a polynomial number of multiplications of Boolean polynomials in terms of the number of variables. As experiments, the proposed method is used to solve equations from cryptanalysis of a class of stream ciphers based on nonlinear filter generators. Extensive experiments show that the method is quite effective.
关键词	Boolean equation characteristic set method cryptanalysis finite field stream ciphers
语种	英语
WOS研究方向	Mathematics
WOS类目	Mathematics, Interdisciplinary Applications
WOS记录号	WOS:000256645900004
出版者	SPRINGER
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/6734
专题	系统科学研究所
通讯作者	Chai, Fengjuan
作者单位	Chinese Acad Sci, Acad Math & Syst Sci, Inst Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Chai, Fengjuan,Gao, Xiao-Shan,Yuan, Chunming. A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers[J]. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,2008,21(2):191-208.
APA	Chai, Fengjuan,Gao, Xiao-Shan,&Yuan, Chunming.(2008).A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers.JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY,21(2),191-208.
MLA	Chai, Fengjuan,et al."A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers".JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY 21.2(2008):191-208.