资料下载
×
通信协议形式化模型的研究
消耗积分:3 |
格式:rar |
大小:1.29 MB |
2018-01-09
分享资料个
本文提出了适应于通信协议的一类抽象形式化模型：抽象行为模型和抽象结构模型．前者主要包括事件、输入／输出、内部／外部和状态等子模型；后者主要包括交互点和分层子模型，文中讨论了这类形式模型的有效性和适用性，运用该类模型对通信协议的主要概念及性质进行了形式定义和描述，重点给出了基于该类模型的协议安全性及活性的形式定义，研讨了安全性及活性的验证，以及某些典型形式描述技术FDT （Estelle，LOTOS，SDL）之间的语义联系，从而为通信协议的研究提供了一种有效的形式基础。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
