[1] 夏卓群, 苏潮, 徐梓桑, 龙科军. 基于物理不可克隆函数的轻量级可证明安全车联网认证协议. 电子与信息学报, 2024, 46(9): 3788-3796. doi: 10.11999/JEIT240141
[2] 田春生, 陈雷, 王源, 王硕, 周婧, 庞永江, 杜忠. 基于机器学习的FPGA电子设计自动化技术研究综述. 电子与信息学报, 2023, 45(1): 1-13. doi: 10.11999/JEIT220183
[3] 张海波, 兰凯, 黄宏武, 王汝言, 邹灿. 车联网中可证安全的分布式匿名高效边缘认证协议. 电子与信息学报, 2023, 45(8): 2902-2910. doi: 10.11999/JEIT220846
[4] 李盛, 戴紫彬. 可重构分组密码指令集处理器自动映射方法研究. 电子与信息学报, 2021, 43(9): 2526-2533. doi: 10.11999/JEIT200372
[5] 眭晗, 吴文玲. 后量子对称密码的研究现状与发展趋势. 电子与信息学报, 2020, 42(2): 287-294. doi: 10.11999/JEIT190667
[6] 曾萍, 郭瑞芳, 马英杰, 高原, 赵耿. 车载自组网中可证明安全的无证书认证方案. 电子与信息学报, 2020, 42(12): 2873-2881. doi: 10.11999/JEIT190883
[7] 张玉磊, 王欢, 马彦丽, 刘文静, 王彩芬. 可证安全的传统公钥密码-无证书公钥密码异构聚合签密方案. 电子与信息学报, 2018, 40(5): 1079-1086. doi: 10.11999/JEIT170712
[8] 王建华, 王光波, 徐开勇. 标准模型下可证明安全的支持大规模属性集与属性级用户撤销的CP-ABE方案. 电子与信息学报, 2017, 39(12): 3013-3022. doi: 10.11999/JEIT170199
[9] 陈秀清, 曹天杰, 翟靖轩. 可证明安全的轻量级RFID所有权转移协议. 电子与信息学报, 2016, 38(8): 2091-2098. doi: 10.11999/JEIT151049
[10] 曹晨磊, 刘明奇, 张茹, 杨义先. 基于层级化身份的可证明安全的认证密钥协商协议. 电子与信息学报, 2014, 36(12): 2848-2854. doi: 10.3724/SP.J.1146.2014.00684
[11] 胡学先, 魏江宏, 叶茂. 对一个强安全的认证密钥交换协议的分析. 电子与信息学报, 2013, 35(9): 2278-2282. doi: 10.3724/SP.J.1146.2012.01380
[12] 孙瑾, 胡予濮. 双系统密码技术下的身份型广播加密方案. 电子与信息学报, 2011, 33(5): 1266-1270. doi: 10.3724/SP.J.1146.2010.01017
[13] 夏松, 权建校, 韩文报. 不同PKG环境下可证安全的基于身份AKA协议. 电子与信息学报, 2010, 32(10): 2393-2399. doi: 10.3724/SP.J.1146.2009.01382
[14] 陈国敏, 陈晓峰. 一个安全的广义指定验证者签名证明系统. 电子与信息学报, 2009, 31(2): 489-492. doi: 10.3724/SP.J.1146.2007.01585
[15] 铁满霞, 李建东, 王育民. WAPI密钥管理协议的PCL证明. 电子与信息学报, 2009, 31(2): 444-447. doi: 10.3724/SP.J.1146.2007.01356
[16] 侯惠芳, 刘光强, 季新生, 张秋闻. 基于公钥的可证明安全的异构无线网络认证方案. 电子与信息学报, 2009, 31(10): 2385-2391. doi: 10.3724/SP.J.1146.2008.01411
[17] 王念平, 金晨辉, 李云强. 一类非平衡Feistel网络的差分可证明安全性分析. 电子与信息学报, 2005, 27(6): 870-873.
[18] 胡成军, 郑援, 吕述望, 沈昌祥. 安全协议的形式化规范. 电子与信息学报, 2004, 26(4): 556-561.
[19] 龙子庄, 李声沛. 公用事业自动化收费系统数据安全性的研究. 电子与信息学报, 2002, 24(11): 1682-1686.
[20] 杨华中, 刘润生, 汪蕙, 范崇治. 模拟集成电路设计自动化技术. 电子与信息学报, 1996, 18(2): 202-208.