@收款{zbMATH07297657，作者={Han，Ya and Li，永强and Wang，Mingsheng}，Title={使用三个子集}搜索具有除法性质的{ARX}分组密码积分的自动方法，BookTitle={信息和通信安全。第20届国际会议，ICICS 2018，法国里尔，2018年10月29日至31日。诉讼}，国际标准图书编号={978-3-030-01949-5；978-3-0.30-01950-1}，页码={647--663}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-01950-1_38}，关键词={94A60}，zbMATH={7297657}，Zbl={1458.94240}}