{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T02:23:44Z","timestamp":1648866224897},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T00:00:00Z","timestamp":1599609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T00:00:00Z","timestamp":1599609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2021,4]]},"DOI":"10.1007\/s11424-020-9209-6","type":"journal-article","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T11:42:31Z","timestamp":1599738151000},"page":"792-808","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing Boolean Functions via Solving Parametric Polynomial Systems"],"prefix":"10.1007","volume":"34","author":[{"given":"Zhenyu","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yao","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongdai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,9,9]]},"reference":[{"key":"9209_CR1","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1017\/CBO9780511780448.012","volume":"134","author":"C Carlet","year":"2010","unstructured":"Carlet C, Vectorial Boolean functions for cryptography, Boolean Models and Methods in Mathematics, Computer Science, and Engineering, 2010, 134: 398\u2013469.","journal-title":"Boolean Models and Methods in Mathematics, Computer Science, and Engineering"},{"key":"9209_CR2","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-540-74619-5_23","volume":"4593","author":"S Fischer","year":"2007","unstructured":"Fischer S and Meier W, Algebraic immunity of S-boxes and augmented functions, International Workshop on Fast Software Encryption, LNCS, 2007, 4593: 366\u2013381.","journal-title":"International Workshop on Fast Software Encryption"},{"key":"9209_CR3","doi-asserted-by":"crossref","unstructured":"Carlet C and Feng K, An infinite class of balanced vectorial boolean functions with optimum algebraic immunity and good nonlinearity, Coding and Cryptology, Second International Workshop, Zhangjiajie, China, June, 2009.","DOI":"10.1007\/978-3-642-01877-0_1"},{"key":"9209_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-60590-8_5","volume-title":"International Workshop on Fast Software Encryption","author":"H Dobbertin","year":"1995","unstructured":"Dobbertin H, Construction of bent functions and balanced Boolean functions with high nonlinearity, International Workshop on Fast Software Encryption, Springer, Berlin, Heidelberg, 1995, 61\u201374."},{"key":"9209_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-48000-6_3","volume-title":"Advances in Cryptology-ASIACRYP\u201999","author":"T Satoh","year":"1999","unstructured":"Satoh T, Iwata T, and Kurosawa K, On cryptographically secure vectorial Boolean functions, Advances in Cryptology-ASIACRYP\u201999, Springer Berlin Heidelberg, 1999, 20\u201328."},{"key":"9209_CR6","doi-asserted-by":"crossref","unstructured":"Gao X S and Chou S C, Solving parametric algebraic systems, International Symposium on Symbolic and Algebraic Computation, 1992, 335\u2013341.","DOI":"10.1145\/143242.143348"},{"key":"9209_CR7","doi-asserted-by":"crossref","unstructured":"Kapur D, Sun Y, and Wang D, A new algorithm for computing comprehensive Grobner systems, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ACM, 2010, 29\u201336.","DOI":"10.1145\/1837934.1837946"},{"key":"9209_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V Weispfenning","year":"1992","unstructured":"Weispfenning V, Comprehensive Grobner bases, Journal of Symbolic Computation, 1992, 14: 1\u201329.","journal-title":"Journal of Symbolic Computation"},{"issue":"4","key":"9209_CR9","doi-asserted-by":"publisher","first-page":"778","DOI":"10.1007\/s11424-012-0168-4","volume":"25","author":"Z Huang","year":"2012","unstructured":"Huang Z, Parametric equation solving and quantifier elimination in finite fields with the characteristic set method, Journal of Systems Science and Complexity, 2012, 25(4): 778\u2013791.","journal-title":"Journal of Systems Science and Complexity"},{"issue":"6","key":"9209_CR10","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1016\/j.jsc.2011.12.025","volume":"47","author":"X S Gao","year":"2012","unstructured":"Gao X S and Huang Z, Characteristic set algorithms for equation solving in finite fields, Journal of Symbolic Computation, 2012, 47(6): 655\u2013679.","journal-title":"Journal of Symbolic Computation"},{"key":"9209_CR11","volume-title":"International Conference on Information Security","author":"C De Canniere","year":"2006","unstructured":"De Canniere C, Trivium: A stream cipher construction inspired by block cipher design principles, International Conference on Information Security, Springer, Berlin, Heidelberg, 2006."},{"key":"9209_CR12","doi-asserted-by":"publisher","unstructured":"Huang Z, Sun Y and Lin D, On the efficiency of solving Boolean polynomial systems with the characteristic set method, Journal of Symbolic Computation, 2019, https:\/\/doi.org\/10.1016\/j.jsc.2019.11.001.","DOI":"10.1016\/j.jsc.2019.11.001"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-9209-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-020-9209-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-020-9209-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T23:44:52Z","timestamp":1631144692000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-020-9209-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,9]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["9209"],"URL":"https:\/\/doi.org\/10.1007\/s11424-020-9209-6","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,9]]},"assertion":[{"value":"18 July 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 September 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}