《Secure Systems Development with UML》(英文pdf)下载
《Secure Systems Development with UML》用UML构建安全系统 (英文pdf)电子书下载
【评论】
系统的安全性应该在设计的阶段就考虑到, 本书在世界计算机学术界也算独树一帜, 描述了怎样把 UML 映射为数学模型, 在进一步分析其设计的合理性和安全性, 比如分析状态图所有可能达到的状态序列, 从而得到系统的可达状态空间范围, 还有传输协议的安全证明..., 本书出版时, 全世界只有不超过五个研究小组在研究这个方向, 现在已经被德意志银行采纳其中的部分方案和分析手段, 目的是系统的绝对安全性, 并且它是可被证明的.
[ 本帖最后由 seesill 于 2008-3-28 20:16 编辑 ]
附件: 您所在的用户组无法下载或查看附件
搜索更多相关主题的帖子:
UML
