基于Yu-Cao延迟混沌神经网络的形式化验证

Q4 Engineering

International Journal of Circuits, Systems and Signal Processing Pub Date : 2022-03-28 DOI:10.46300/9106.2022.16.111

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Journal of Circuits, Systems and Signal Processing Engineering-Electrical and Electronic Engineering

自引率

0.00%

发文量

155