@article{常晓林_8,
author = {[常晓林, 秦英, 邢彬, 左向晖]},
title = {SSH可信信道安全属性的形式化验证},
publisher = {星空电竞app2026最新版学报},
year = {2012},
journal = {星空电竞app2026最新版学报},
volume = {36},
number = {2},
eid = {8},
pages = {8-1},
keywords = {SSH;TCG远程证明;可信信道;模型检测;NuSMV},
url = https://jdxb.bjtu.edu.cn/CN/abstract/article_2310.shtml
}