电子商务网络协议的形式化分析理论与应用

电子商务网络协议的形式化分析理论与应用

出版社：科学出版社

ISBN：9787030200327

出版年：2008

作者：谢晓尧

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

电子商务协议的形式化分析方法

作者：周典萃
出版社：中国科学院
出版年：1999

基于CPN的电子商务协议形式化分析通用方法研究

作者：徐萌
出版年：2009

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

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

网络安全协议形式化分析及支撑工具研究

作者：肖美华
出版社：中国科学院
出版年：2008

网络协议的形式化分析与设计

作者：古天龙
ISBN：7505386468
出版社：电子工业出版社
出版年：2003

认证协议和公平交换协议的形式化分析

作者：沈海峰
出版年：2005