Abstract
"Wu characteristic set method" is a main algebraic method for computing zeros of polynomial systems.In this paper,we investigate an improved CS method for boolean polynomial equation systems solving.Based on our previous works and the special properties of Boolean ring,we introduce a step-by-step CS method—SSTDCS for Boolean polynomial equation systems solving and prove the correctness of the method.We implement the algorithm with C language and SZDD software package,and we test the efficiency of the algorithm by applying it to algebraic analysis of a class of stream ciphers.The experimental results show that they are quite efficient and stable for some examples.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
