安全计算机通信管理机制的形式化验证与实现
梁靓,曹源,马连川,张玉琢,李恒奎
Formal verification and implementation of safety computer communication management mechanism
Liang LIANG,Yuan CAO,Lian-chuan MA,Yu-zhuo ZHANG,Heng-kui LI
通信学报
.
2016, (11): 196
-204
.
DOI: 10.11959/j.issn.1000-436x.2016237
