Name: 安全协议的建模与分析
ISBN: 9787111157212

作者: [英] Peter Rya
出版社: 机械工业出版社
出版年: 2005-1
页数: 235
定价: 29.00元
装帧: 简裝本
ISBN: 9787111157212

豆瓣评分

评价人数不足

评价:

我来说两句

短评 · · · · · ·

安全协议的建模与分析的书评 · · · · · · ( 全部 1 条 )

可以结合几篇英文论文看这本书，有想看的，可以豆油我。这本书还是挺深奥难懂的。 CSP作为一种形式化描述语言，可以用来描述具体的生活场景，其根据每一步的状态的组合来表现整个系统的运行状态。因此CSP方式可以借助如下方式描述进程的可达状态：通... (展开)

WZQ

2023年8月14日在读

2021年1月17日想读

2016年8月30日想读

订阅关于安全协议的建模与分析的评论:
feed: rss 2.0