[1] |
谢娜, 谭文安, 曹彦, 赵璐. 移动边缘计算中安全信息流建模与分析[J]. 计算机工程, 2022, 48(5): 35-42,52. |
[2] |
夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153. |
[3] |
欧阳恒一, 熊焰, 黄文超. 一种代币智能合约的形式化建模与验证方法[J]. 计算机工程, 2020, 46(10): 41-45,51. |
[4] |
尹青山. 一种面向无线体域网的改进SMART算法[J]. 计算机工程, 2019, 45(11): 121-125. |
[5] |
祁龙云, 吕小亮, 路红, 黄皓. 汇编级顺序语句块的自动形式化规约及其验证[J]. 计算机工程, 2019, 45(10): 64-69,77. |
[6] |
林荣峰, 施健, 朱晏庆, 沈怡颹, 周宇. 基于STP方法的SCADE模型形式化验证框架[J]. 计算机工程, 2019, 45(10): 70-77. |
[7] |
李堃,张雪松. STP安全通信协议设计与形式化验证[J]. 计算机工程, 2018, 44(12): 120-128. |
[8] |
韩林,高伟,王冬,王鹏翔,李颖颖. 一种单指令多数据向量化归约方法[J]. 计算机工程, 2017, 43(7): 9-14. |
[9] |
任胜兵,张健威,吴斌,王志健. Spark环境下基于SMT的分布式限界模型检测[J]. 计算机工程, 2017, 43(6): 19-23,29. |
[10] |
李青,朱晓冉,郭建. AUTOSAR OS存储保护机制的形式化验证框架[J]. 计算机工程, 2017, 43(1): 79-85. |
[11] |
彭展,梁根,周炳. 电信服务系统特征交互的Z规格及验证[J]. 计算机工程, 2016, 42(8): 19-23. |
[12] |
杨世瀚,吴尽昭,丁广泓,秦董洪. 模拟与混合信号电路的形式化验证[J]. 计算机工程, 2016, 42(8): 34-38,45. |
[13] |
唐郑熠,王金水,何栋炜,薛醒思,胡文瑜. 馈线自动化算法的形式化建模与验证[J]. 计算机工程, 2016, 42(3): 89-93. |
[14] |
赵璐,张健沛,杨静. 收缩候选回溯集的有状态动态偏序归约方法[J]. 计算机工程, 2015, 41(5): 70-76. |
[15] |
许兴旺,骆翔宇. 基于MAS 模型检测与抽象的Web 服务验证[J]. 计算机工程, 2015, 41(3): 26-31,36. |