| [1] |
沈利香,慕德俊,曹国,谢光前,束方勇. 针对硬件木马的形式化验证模型构造方法[J]. 西安电子科技大学学报, 2021, 48(3): 146-153. |
| [2] |
舒新峰,王昌太,王燕,张丽丽. 一种命题投影时序逻辑的分布式模型检测方法[J]. 西安电子科技大学学报, 2020, 47(4): 39-47. |
| [3] |
丁明,张书玲,张琛,张军. 一种航空电子系统安全性需求验证方法[J]. 西安电子科技大学学报, 2019, 46(3): 66-73. |
| [4] |
蒋杰伟, 刘西洋, 刘琳, 王帅, 杨皓庆, 崔江涛. 一种眼病发展趋势的自动预测方法[J]. 西安电子科技大学学报, 2018, 45(6): 19-25. |
| [5] |
秦茂源;慕德俊;胡伟;毛保磊. 硬件安全门级细粒度形式化验证方法[J]. 西安电子科技大学学报, 2018, 45(5): 143-148. |
| [6] |
毛立强;黄影. MANET安全路由协议自动化分析[J]. 西安电子科技大学学报, 2016, 43(6): 56-61. |
| [7] |
王宇英;周兴社;梁东方 . 面向信息物理融合系统的异构模型转换方法
[J]. J4, 2015, 42(2): 108-115+151. |
| [8] |
杨元原;马文平;刘维博;俞优;顾健. 带有异或运算安全协议的自动化检测[J]. J4, 2012, 39(4): 120-125+183. |
| [9] |
王博;张建奇. 一种空时域结合滤波的运动弱小目标检测方法[J]. J4, 2010, 37(3): 524-528. |
| [10] |
舒新峰;段振华. 投影时序逻辑的公理系统与形式验证[J]. J4, 2009, 36(4): 680-729. |
| [11] |
毛立强1;马建峰1;2. 可证明安全的MANET按需距离矢量路由协议分析
[J]. J4, 2008, 35(6): 1063-1068. |
| [12] |
王金双;张兴元;张毓森. 概率论在Isabelle/HOL中的形式化
[J]. J4, 2007, 34(7): 197-200. |
| [13] |
田海博(1);丁勇(2);王育民(1). 形式化攻击者能力描述的计算可靠性研究
[J]. J4, 2006, 33(5): 800-803. |
| [14] |
李恩科(1;2);殷世民(1);刘上乾(1);付小宁(1). 一种新的机动平台红外单站被动定位算法[J]. J4, 2006, 33(3): 408-410. |
| [15] |
慕建君. 一种形式化分析安全协议的新模型[J]. J4, 2006, 33(3): 381-385. |
