@article{肖美华_1701, author = {[肖美华, 刘欣倩, 李娅楠, 程道雷, 梅映天]}, title = {基于强认证理论的三方网络协议安全性证明}, publisher = {计算机科学与探索}, year = {2016}, journal = {计算机科学与探索}, volume = {10}, number = {12}, eid = {1701}, pages = {1701-1710}, keywords = {

形式化方法;事件逻辑;强认证理论;Neuman-Stubblebine协议

}, doi = http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.1607032 }