基于不变量查找的协议验证

基于不变量查找的协议验证

出版年：2015

作者：曹燊

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

安全协议原理与验证

作者：王聪
ISBN：9787563574896
出版社：北京邮电大学出版社
出版年：2025

基于UVM的AHB总线协议桥分析与验证

作者：郝美琪
出版社：中国科学院大学集成电路学院
出版年：2022

AACS安全协议的形式化验证

作者：王薇
出版年：2009

安全协议的验证逻辑

作者：隋立颍
出版年：1999

不变量理论

作者：爱林根
出版社：江苏科学技术出版社
出版年：1982

安全协议操作语义与验证

作者：克雷默斯
ISBN：9787121351952
出版社：电子工业出版社
出版年：2018