{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T13:29:13Z","timestamp":1768742953808,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T00:00:00Z","timestamp":1201824000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2008,2]]},"DOI":"10.1007\/s11424-008-9103-0","type":"journal-article","created":{"date-parts":[[2008,5,28]],"date-time":"2008-05-28T18:47:38Z","timestamp":1212000458000},"page":"191-208","source":"Crossref","is-referenced-by-count":33,"title":["A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers*"],"prefix":"10.1007","volume":"21","author":[{"given":"Fengjuan","family":"CHAI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"GAO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunming","family":"YUAN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,29]]},"reference":[{"issue":"3","key":"9103_CR1","first-page":"207","volume":"4","author":"W. T. Wu","year":"1984","unstructured":"W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Scis., 1984, 4(3): 207\u2013235.","journal-title":"J. Sys. Sci. & Math. Scis."},{"key":"9103_CR2","doi-asserted-by":"crossref","unstructured":"J. F. Ritt, Differential Algebra, Amer. Math. Soc. Colloquium, Providence, 1950.","DOI":"10.1090\/coll\/033"},{"key":"9103_CR3","unstructured":"X. S. Gao and Y. Luo, A characteristic set method for difference polynomial systems, in Proc. ICPSS, Paris, 2004, 28\u201330."},{"key":"9103_CR4","unstructured":"M. Brickenstein and A. Dreyer, PolyBoRi: A framework for Gr\u00f6bner basis computations with Boolean polynomials, in Proc. MEGA, Austria, 2007. URL: http: \/\/www.ricam.oeaw.ac.at\/mega2007\/electronic\/26.pdf ."},{"key":"9103_CR5","doi-asserted-by":"crossref","unstructured":"W. Mao and J. Wu, Application of Wu\u2019s method to symbolic model checking, ACM Press, New York, 2005, Proc. ISSAC\u201905, 237\u2013244.","DOI":"10.1145\/1073884.1073918"},{"key":"9103_CR6","doi-asserted-by":"crossref","unstructured":"N. Courtois, Higher order correlation attacks, XL algorithm, and cryptanalysis of Toyocrypt, ICISC, LNCS 2587, 182\u2013199, Springer, 2002.","DOI":"10.1007\/3-540-36552-4_13"},{"key":"9103_CR7","doi-asserted-by":"crossref","unstructured":"N. Courtois, Algebraic attacks on stream ciphers with linear feedback, EUROCRPYT 2003, LNCS 2656, 345\u2013359, Springer, 2003.","DOI":"10.1007\/3-540-39200-9_21"},{"key":"9103_CR8","unstructured":"J. C. Faug\u00e8re and G. Ars, An algebraic cryptanalysis of nonlinear filter generators using Gr\u00f6bner bases, TR No. 4739, INRIA, 2003."},{"issue":"5","key":"9103_CR9","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/BF02948788","volume":"14","author":"S. He","year":"1999","unstructured":"S. He and B. Zhang, Solving SAT by algorithm transform of Wu\u2019s method, J. Comput. Sci. and Tech., 1999, 14(5): 468\u2013480.","journal-title":"J. Comput. Sci. and Tech."},{"issue":"2","key":"9103_CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03025291","volume":"20","author":"S. Smale","year":"1998","unstructured":"S. Smale, Mathematical problems for the next century, Math. Intelligencer, 1998, 20(2): 7\u201315.","journal-title":"Math. Intelligencer"},{"key":"9103_CR11","volume-title":"Boolean Functions and Equations","author":"S. Rudeanu","year":"1974","unstructured":"S. Rudeanu, Boolean Functions and Equations, North-Holland, Amsterdam, 1974."},{"issue":"3","key":"9103_CR12","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam, A computing procedure for quantification theory, J. ACM, 1960, 7(3): 201\u2013215.","journal-title":"J. ACM"},{"issue":"8","key":"9103_CR13","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant, Graph-based algorithms for boolean function manipulation, IEEE Trans. on Computers, 1986, 35(8): 677\u2013691.","journal-title":"IEEE Trans. on Computers"},{"key":"9103_CR14","first-page":"145","volume-title":"Proc. ASCM","author":"Y. Sato","year":"2005","unstructured":"Y. Sato and S. Inoue, On the construction of comprehensive boolean Gr\u00f6bner bases, in Proc. ASCM 2005, 145\u2013148, World Scientific Press, Singapore."},{"key":"9103_CR15","doi-asserted-by":"crossref","unstructured":"G. Gallo and B. Mishra, Efficient algorithms and bounds forWu-Ritt characteristic sets, in Progress in Mathematics, Birkhauser, Boston, 1991, 94: 119\u2013142.","DOI":"10.1007\/978-1-4612-0441-1_8"},{"issue":"2","key":"9103_CR16","first-page":"97","volume":"7","author":"B. Li","year":"2005","unstructured":"B. Li, An algorithm to decompose a polynomial ascending set into irreducible ones, Acta Anal. Funct. Appl., 2005, 7(2): 97\u2013105.","journal-title":"Acta Anal. Funct. Appl."},{"key":"9103_CR17","first-page":"292","volume-title":"Proc. ISSAC\u201993","author":"D. Lin","year":"1993","unstructured":"D. Lin and Z. Liu, Some results on theorem proving in geometry over finite fields, in Proc. ISSAC\u201993, ACM Press, New York, 1993, 292\u2013300."},{"key":"9103_CR18","first-page":"108","volume-title":"Proc. ISSAC\u201905","author":"X. Dahan","year":"2005","unstructured":"X. Dahan, M. M. Maza, E. Schost, W. Wu, and Y. Xie, Lifting techniques for triangular decompositions, in Proc. ISSAC\u201905, 108\u2013115, ACM Press, New York, 2005."},{"key":"9103_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1360\/csb1986-31-1-1","volume":"31","author":"W. T. Wu","year":"1986","unstructured":"W. T. Wu, On zeros of algebraic equations-an application of Ritt principle, Chinese Science Bulletin, 1986, 31: 1\u20135.","journal-title":"Chinese Science Bulletin"},{"key":"9103_CR20","doi-asserted-by":"crossref","unstructured":"S. C. Chou and X. S. Gao, Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving, in Proc. of CADE-10, LNAI 449, 207\u2013220, Springer, 1990.","DOI":"10.1007\/3-540-52885-7_89"},{"key":"9103_CR21","doi-asserted-by":"crossref","unstructured":"S. Minto, Zero-sppressed BDDs for set manipulation in combinatorial problems, in Proc. ACM\/IEEE Design Automation, ACM Press, 1993, 272\u2013277.","DOI":"10.1145\/157485.164890"},{"key":"9103_CR22","first-page":"42","volume":"25","author":"X. S. Gao","year":"2006","unstructured":"X. S. Gao, F. Chai, and C. Yuan, A characteristic set method for equation solving in F2 and applications in cryptanalysis of stream ciphers, MM-Preprints, 2006, 25: 42\u201356.","journal-title":"MM-Preprints"},{"key":"9103_CR23","first-page":"27","volume":"3","author":"W. T. Wu","year":"1989","unstructured":"W. T. Wu, Some remarks on characeteristic-set formation, MM-Preprints, 1989, 3: 27\u201329.","journal-title":"MM-Preprints"},{"issue":"4","key":"9103_CR24","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF01200146","volume":"4","author":"H. M. M\u00f6ller","year":"1993","unstructured":"H. M. M\u00f6ller, On decomposing systems of polynomial equations with finitely many solutions, J. AAECC, 1993, 4(4): 217\u2013230.","journal-title":"J. AAECC"},{"key":"9103_CR25","doi-asserted-by":"crossref","unstructured":"S. C. Chou, Mechanical Geometry Theorem Proving, D. Reidel, Dordrecht, 1988.","DOI":"10.1007\/978-94-009-4037-6"},{"key":"9103_CR26","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"M. Kalkbrener, A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, Journal of Symbolic Computation, 1993, 15: 143\u2013167.","journal-title":"Journal of Symbolic Computation"},{"key":"9103_CR27","first-page":"277","volume-title":"Proc. ISSAC\u201990","author":"D. Kapur","year":"1990","unstructured":"D. Kapur and H. K. Wan, Refutational proofs of geometry theorems via characteristic sets, in Proc. ISSAC\u201990, ACM Press New York, 1990, 277\u2013284."},{"key":"9103_CR28","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1006\/jsco.1993.1035","volume":"16","author":"D. Wang","year":"1993","unstructured":"D. Wang, An elimination method for polynomial systems, Journal of Symbolic Computation, 1993, 16: 83\u2013114.","journal-title":"Journal of Symbolic Computation"},{"key":"9103_CR29","doi-asserted-by":"crossref","unstructured":"A. Menezes, P. van Ooschot, and S. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996.","DOI":"10.1201\/9781439821916"},{"key":"9103_CR30","doi-asserted-by":"crossref","unstructured":"A. Canteaut and E. Filiol, Ciphertext only reconstruction of stream ciphers based on combination generators, Fast Software Encryption, LNCS 1978, 165\u2013180, Springer, 2000.","DOI":"10.1007\/3-540-44706-7_12"},{"key":"9103_CR31","first-page":"77","volume":"26","author":"X. S. Gao","year":"2008","unstructured":"X. S. Gao and Z. Huang, A characteristic set method for equation solving in finite fields, MM Preprints, 2008, 26: 77\u201392.","journal-title":"MM Preprints"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-008-9103-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-008-9103-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-008-9103-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,6]],"date-time":"2020-05-06T00:24:17Z","timestamp":1588724657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-008-9103-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["9103"],"URL":"https:\/\/doi.org\/10.1007\/s11424-008-9103-0","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}