A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers*-Reference-Cited by-同舟云学术

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

Published:2008-02 Issue:2 Volume:21 Page:191-208
ISSN:1009-6124
Container-title:Journal of Systems Science and Complexity
language:en
Short-container-title:J Syst Sci Complex

Author:

CHAI Fengjuan,GAO Xiao-Shan,YUAN Chunming

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s11424-008-9103-0.pdf

Reference31 articles.

1. W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Scis., 1984, 4(3): 207–235.

2. J. F. Ritt, Differential Algebra, Amer. Math. Soc. Colloquium, Providence, 1950.

3. X. S. Gao and Y. Luo, A characteristic set method for difference polynomial systems, in Proc. ICPSS, Paris, 2004, 28–30.

4. M. Brickenstein and A. Dreyer, PolyBoRi: A framework for Gröbner basis computations with Boolean polynomials, in Proc. MEGA, Austria, 2007. URL: http: //www.ricam.oeaw.ac.at/mega2007/electronic/26.pdf .

5. W. Mao and J. Wu, Application of Wu’s method to symbolic model checking, ACM Press, New York, 2005, Proc. ISSAC’05, 237–244.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Atomic Formulation of the Boolean Curve Fitting Problem;International Journal of Mathematical, Engineering and Management Sciences;2022-10-01

2. Straightforward Guess and Determine Analysis Based on Genetic Algorithm;Journal of Systems Science and Complexity;2022-06-20

3. Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition;Computer Algebra in Scientific Computing;2022

4. On the efficiency of solving Boolean polynomial systems with the characteristic set method;Journal of Symbolic Computation;2021-03

5. Chordal graphs in triangular decomposition in top-down style;Journal of Symbolic Computation;2021-01