形式化方法在安全协议验证领域内的应用研究

形式化方法在安全协议验证领域内的应用研究

出版年：2003

作者：任傸

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

AACS安全协议的形式化验证

作者：王薇
出版年：2009

通信协议形式化描述和验证理论与方法的研究

作者：王宇凡
出版年：2005

安全协议形式化分析与验证

作者：肖美华
ISBN：9787030626332
出版社：科学出版社
出版年：2019

基于HTCPN的通用安全协议形式化方法研究

作者：丁燕岚
出版年：2008

网络安全协议的形式化分析与验证

作者：李建华
ISBN：9787111297260
出版社：机械工业出版社
出版年：2010

面向可信认证及授权协议的形式化建模与验证研究

作者：汪彩梅
出版年：2018