登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

面向安全协议的移动进程演算的符号化理论
出版社：中国科学院
出版年：2010
作者：刘佳
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

面向移动RFID安全认证协议的研究和设计
  • 作者：陶源
  • 出版年：2016
...

路由协议的符号化测试生成与执行研究
  • 作者：邢熠
  • 出版年：2009
...

面向安全协议源代码的形式化自动建模研究
  • 作者：葛艺
  • 出版社：中国科学技术大学
  • 出版年：2023
...

基于身份的安全协议在移动通信中的应用
  • 作者：谢涛
  • 出版社：中国科学院
  • 出版年：2011
...

移动IPv6协议的安全性研究
  • 作者：李刚
  • 出版年：2005
...

移动电子商务安全协议的研究与实现
  • 作者：杨丽霞
  • 出版年：2018