| [1] |
杨国正, 齐冬震, 陈攀, 沈照斌, 尹鹏语, 霍彦霖. 资源公钥基础设施部署问题研究综述[J]. 计算机工程, 2026, 52(6): 17-30. |
| [2] |
李亮, 肖名志, 陈曦. 区块链技术的去中心化新闻检索与聚合架构研究[J]. 计算机工程, 2026, 52(5): 303-325. |
| [3] |
牛淑芬, 王宁, 周旭升, 孔维滢, 陈丽华. 智慧医疗中基于秘密共享和同态加密的安全联邦学习方案[J]. 计算机工程, 2026, 52(4): 302-312. |
| [4] |
王梓, 王洪强, 杨晓艺, 兰雨晴. 操作系统形式规约与验证综述[J]. 计算机工程, 2026, 52(2): 24-45. |
| [5] |
张黔会, 袁凌云, 谢天玉, 吴加英. 智能合约驱动的公平可验证秘密共享[J]. 计算机工程, 2025, 51(9): 177-191. |
| [6] |
王群, 李馥娟, 马卓. 区块链在BGP路由泄露防护中的应用研究[J]. 计算机工程, 2025, 51(8): 39-52. |
| [7] |
宁美玲, 齐佳音. 基于八元组损失的跨分辨率说话人验证优化[J]. 计算机工程, 2025, 51(7): 111-118. |
| [8] |
彭程炜, 杨晋吉, 杨光. SAP-AKA二次认证协议的形式化验证与改进[J]. 计算机工程, 2025, 51(6): 204-211. |
| [9] |
唐莹莹, 陈玉玲, 罗运, 李再东. 基于全同态加密的可验证多关键词密文检索方案[J]. 计算机工程, 2025, 51(4): 188-197. |
| [10] |
王湛, 张鹏程, 金惠颖, 吉顺慧. 云网融合环境下服务组合的未来属性验证[J]. 计算机工程, 2025, 51(3): 310-319. |
| [11] |
蒋淇淇, 张亮, 彭凌祺, 阚海斌. 基于区块链的可问责可验证外包分层属性加密方案[J]. 计算机工程, 2025, 51(3): 24-33. |
| [12] |
欧展荣, 张亮, 吴星雨, 马宇航, 周航. 基于区块链的公开可验证秘密分享和分布式随机数协议[J]. 计算机工程, 2025, 51(12): 221-231. |
| [13] |
高秋辰, 胡勇华. 基于UVM的SoC环境中PCIe验证平台设计[J]. 计算机工程, 2024, 50(9): 189-196. |
| [14] |
王文斌, 钱振江, 靳勇, 孙高飞, 邢晓双, 苏超, 孙天琦. 基于Isabelle/HOL的文件系统形式化设计与验证[J]. 计算机工程, 2024, 50(4): 277-285. |
| [15] |
张晓均, 李兴鹏, 唐伟, 郝云溥, 薛婧婷. 云-边融合的可验证隐私保护跨域联邦学习方案[J]. 计算机工程, 2024, 50(3): 148-155. |