您当前的位置：
首页 >
文章列表页 >
基于Petri网的安全协议形式化分析
基于Petri网的安全协议形式化分析
Formal Analysis of Security Protocols Using Petri Nets
- 电子学报 2004年32卷第11期 页码：1926-1929
移动端阅览
HTML全文
参考文献
出版信息
数据统计
75
浏览量
1161
下载量
2
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
基于Petri网的数字媒体分发协议的安全性证明
基于RFID发现服务的一种供应链建模技术
一种基于程序可达图的并发程序依赖性分析方法
基于家态的多事务工作流完整性分析
Dining Cryptographer安全协议及工程分析
相关作者
田立勤
尹 浩
林 闯
郭迎九
FONT
王立福
张世琨
袁崇义
相关机构
清华大学计算机科学与技术系北京
北京科技大学信息工程学院北京
清华大学计算机科学与技术系
北京科技大学信息工程学院
北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室
