安全协议的验证逻辑

安全协议的验证逻辑

出版年：1999

作者：隋立颍

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

安全协议进化生成与模态逻辑验证研究

作者：毛晨晓
出版年：2005

基于TL-EPVM模型的加密协议分析基于时序逻辑的加密协议描述与验证

作者：肖得琴
出版社：中国科学院
出版年：1999

AACS安全协议的形式化验证

作者：王薇
出版年：2009

密码协议实现的逻辑安全分析与设计

作者：吴福生
ISBN：9787113290917
出版社：中国铁道出版社,中国铁道出版社有限公司
出版年：2022

安全协议操作语义与验证

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

RFID安全协议的设计与验证

作者：唐静
出版年：2008