Chi Huang, Chenglian Liu, Yueyang Cai, Sonia C.-I. Chen, Xiaofei Ji
{"title":"基于Yu-Cao延迟混沌神经网络的形式化验证","authors":"Chi Huang, Chenglian Liu, Yueyang Cai, Sonia C.-I. Chen, Xiaofei Ji","doi":"10.46300/9106.2022.16.111","DOIUrl":null,"url":null,"abstract":"Yu and Cao proposed “Cryptography based on delayed chaotic neural networks” in 2006. However, in 2009, Yang et al. pointed out the Yu-Cao scheme can not against chosen plaintext attack. Liu et al. studies exclusiveor logical operation very well, and provided Boolean algebra proofs in 2012. Ye et al. used Liu et al.’s method to reinterpret and analyze Yu-Cao scheme in 2018. In this paper the authors would like to give a formal verification by Galois field expression on the exclusive-or operation problem again. As this result, it makes more effective insecure to Yu-Cao algorithm.","PeriodicalId":13929,"journal":{"name":"International Journal of Circuits, Systems and Signal Processing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2022-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Formal Verification Based on Yu-Cao Delayed Chaotic Neural Network\",\"authors\":\"Chi Huang, Chenglian Liu, Yueyang Cai, Sonia C.-I. Chen, Xiaofei Ji\",\"doi\":\"10.46300/9106.2022.16.111\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Yu and Cao proposed “Cryptography based on delayed chaotic neural networks” in 2006. However, in 2009, Yang et al. pointed out the Yu-Cao scheme can not against chosen plaintext attack. Liu et al. studies exclusiveor logical operation very well, and provided Boolean algebra proofs in 2012. Ye et al. used Liu et al.’s method to reinterpret and analyze Yu-Cao scheme in 2018. In this paper the authors would like to give a formal verification by Galois field expression on the exclusive-or operation problem again. As this result, it makes more effective insecure to Yu-Cao algorithm.\",\"PeriodicalId\":13929,\"journal\":{\"name\":\"International Journal of Circuits, Systems and Signal Processing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-03-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Circuits, Systems and Signal Processing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.46300/9106.2022.16.111\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Engineering\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Circuits, Systems and Signal Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.46300/9106.2022.16.111","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Engineering","Score":null,"Total":0}
引用次数: 0
摘要
Yu和Cao在2006年提出了“基于延迟混沌神经网络的密码学”。然而，在2009年，Yang等人指出Yu-Cao方案不能抵御选择明文攻击。Liu等人很好地研究了排他逻辑运算，并在2012年提供了布尔代数证明。Ye et al.在2018年使用Liu et al.的方法重新解释和分析了Yu-Cao scheme。本文再次用伽罗瓦域表达式给出了异或运算问题的形式化验证。因此，对豫剧算法的安全性提高了。
A Formal Verification Based on Yu-Cao Delayed Chaotic Neural Network
Yu and Cao proposed “Cryptography based on delayed chaotic neural networks” in 2006. However, in 2009, Yang et al. pointed out the Yu-Cao scheme can not against chosen plaintext attack. Liu et al. studies exclusiveor logical operation very well, and provided Boolean algebra proofs in 2012. Ye et al. used Liu et al.’s method to reinterpret and analyze Yu-Cao scheme in 2018. In this paper the authors would like to give a formal verification by Galois field expression on the exclusive-or operation problem again. As this result, it makes more effective insecure to Yu-Cao algorithm.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
