جزییات کتاب
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.
درباره نویسنده
چین با نام رسمی جمهوری خلق چین (به چینی: 中华人民共和国)، کشوری است که در شرق قاره آسیا واقع شده است. این کشور بر اساس فهرست کشورها بر پایه جمعیت با بیش از ۱٬۳ میلیارد نفر سکنه، پر جمعیتترین کشور دنیاست و توسط حزب کمونیست چین در قالب نظام تکحزبی اداره میشود.