一个基于模态逻辑的安全协议度量方法
王涛 郭荷清 姚松涛
A Modal Logic-Based Measurement Method of Security Protocol
Wang Tao Guo He-qing Yao Song-tao
华南理工大学学报(自然科学版) . 2004, (11): 37 -42 . 

总访问量
今日访问
在线人数
粤ICP备05084312号
版权所有 © 华南理工大学学报编辑部
地址：广州 五山 华南理工大学17号楼 　邮编：510640
电 话：020-87111794　E-mail : journal@scut.edu.cn
  • 微信号：Journalscut
  • QQ群：699235083