[1] |
唐莹莹, 陈玉玲, 罗运, 李再东. 基于全同态加密的可验证多关键词密文检索方案[J]. 计算机工程, 2025, 51(4): 188-197. |
[2] |
王湛, 张鹏程, 金惠颖, 吉顺慧. 云网融合环境下服务组合的未来属性验证[J]. 计算机工程, 2025, 51(3): 310-319. |
[3] |
蒋淇淇, 张亮, 彭凌祺, 阚海斌. 基于区块链的可问责可验证外包分层属性加密方案[J]. 计算机工程, 2025, 51(3): 24-33. |
[4] |
高秋辰, 胡勇华. 基于UVM的SoC环境中PCIe验证平台设计[J]. 计算机工程, 2024, 50(9): 189-196. |
[5] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
[6] |
张晓均, 李兴鹏, 唐伟, 郝云溥, 薛婧婷. 云-边融合的可验证隐私保护跨域联邦学习方案[J]. 计算机工程, 2024, 50(3): 148-155. |
[7] |
郭瑞, 胡国梁, 王俊茗. 车联网中可匿名的无证书聚合签名方案[J]. 计算机工程, 2024, 50(11): 207-222. |
[8] |
崔怀勇, 张绍华, 李超, 戴炳荣. 一种基于Schnorr签名的区块链预言机改进方案[J]. 计算机工程, 2024, 50(1): 166-173. |
[9] |
刘阳, 张圣杰. 一种基于时间自动机的安全智能合约生成方法[J]. 计算机工程, 2023, 49(9): 137-143, 157. |
[10] |
张利群, 潘祖烈, 黄晖, 王瑞鹏, 李阳. 基于符号执行的Tcache Poisoning堆漏洞自动验证方法研究[J]. 计算机工程, 2023, 49(6): 24-33. |
[11] |
王翊丞, 郭瑞, 蒙彤, 刘颖菲. 智能电网中基于代理盲签密的隐私保护方案[J]. 计算机工程, 2023, 49(5): 150-164. |
[12] |
张晓均, 刘庆, 郑爽, 王鑫, 薛婧婷, 王世雄. 支持隐私保护的可验证云端数据分享方案[J]. 计算机工程, 2023, 49(3): 49-57. |
[13] |
孙林昆, 蒋文保, 郭阳楠, 李春强. 基于密码累加器的无状态区块链性能优化[J]. 计算机工程, 2023, 49(2): 46-53. |
[14] |
郑鹏, 沙乐天. 基于混合分析的Java反序列化漏洞检测方法[J]. 计算机工程, 2023, 49(12): 136-145. |
[15] |
陈虹, 侯宇婷, 郭鹏飞, 周沫, 赵菊芳, 肖成龙. 可公开验证的高效无证书聚合签密方案[J]. 计算机工程, 2022, 48(10): 146-157. |