NDLI: A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers*

Content Provider	Springer Nature Link
Author	CHAI, Fengjuan GAO, Xiao Shan YUAN, Chunming
Copyright Year	2008
Abstract	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.
Starting Page	191
Ending Page	208
Page Count	18
File Format	PDF
ISSN	10096124
Journal	Journal of Systems Science and Complexity
Volume Number	21
Issue Number	2
e-ISSN	15597067
Language	English
Publisher	Springer US
Publisher Date	2008-05-29
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Boolean equation characteristic set method cryptanalysis finite field stream ciphers ApplicationMathematics/Computational Methods of Engineering Industrial and Production Engineering Systems Theory, Control Probability Theory and Stochastic Processes Mathematical Modeling and Industrial Mathematics Operations Research/Decision Theory
Content Type	Text
Resource Type	Article
Subject	Information Systems

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Ultimate Stability of a Type of Characteristic Equation with Delay Dependent Parameters

Implicitization of Partial Differential Rational Parametric Equations

A Stochastic Growth Model with Environmental Pollution

The Proper Parametrization of a Special Class of Rational Parametric Equations

The Rank and Coexponent of a Finite P-Group

Residual a Posteriori Error Estimate of a New Two-Level Method for Steady Navier-Stokes Equations

Extended Casimir Approach to Controlled Hamiltonian Systems

A Simple Method for Constructing Orthogonal Arrays By the Kronecker Sum

A Characteristic Set Method for Equation Solving in F 2 and Applications in Cryptanalysis of Stream Ciphers

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

Similar Documents

Ultimate Stability of a Type of Characteristic Equation with Delay Dependent Parameters

Implicitization of Partial Differential Rational Parametric Equations

A Stochastic Growth Model with Environmental Pollution

The Proper Parametrization of a Special Class of Rational Parametric Equations

The Rank and Coexponent of a Finite P-Group

Residual a Posteriori Error Estimate of a New Two-Level Method for Steady Navier-Stokes Equations

Extended Casimir Approach to Controlled Hamiltonian Systems

A Simple Method for Constructing Orthogonal Arrays By the Kronecker Sum

A Characteristic Set Method for Equation Solving in F 2 and Applications in Cryptanalysis of Stream Ciphers

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