俄罗斯牌协议的改进、验证与应用

摘要	第1-4页
ABSTRACT	第4-7页
第一章 绪论	第7-13页
·研究背景	第7-9页
·俄罗斯牌问题	第7-8页
·模型检测	第8-9页
·研究现状	第9-11页
·俄罗斯牌问题	第9-10页
·模型检测	第10-11页
·研究意义及目的	第11页
·研究内容及章节安排	第11-13页
第二章 基于 SPIN 的 PPTL模型检测器	第13-21页
·模型检测的原理	第13-14页
·基于 SPIN 的 PPTL 模型检测器	第14-16页
·PPTL 模型检测器的性质规范语言	第16-21页
·语法	第16-17页
·语义	第17-18页
·可满足性、有效性和等价关系	第18-19页
·联结词的扩充	第19-20页
·优先级规则	第20-21页
第三章 俄罗斯牌协议	第21-29页
·俄罗斯牌问题	第21-25页
·俄罗斯牌问题	第21-22页
·安全通信	第22-24页
·俄罗斯牌问题的扩展	第24-25页
·俄罗斯牌协议中存在的错误	第25-28页
·picking rule 中存在的问题	第25-26页
·picking rule 的修改	第26-28页
·俄罗斯牌协议的不足	第28-29页
第四章 俄罗斯牌协议的改进	第29-49页
·关于标记的说明	第29-30页
·picking rule 的改进	第30-40页
·构造 P1的发言矩阵 B1	第30-37页
·构造 Pk的发言矩阵 Bk	第37-40页
·改进后协议的使用示例	第40-46页
·行情况下各发言矩阵的生成	第41-43页
·列情况下各发言矩阵的生成	第43-46页
·原协议与改进后协议的对比分析	第46-49页
第五章 改进后俄罗斯牌协议的验证与应用	第49-59页
·改进后协议的验证	第49-56页
·改进后协议的应用	第56-59页
结束语	第59-61页
致谢	第61-63页
参考文献	第63-67页
作者在读期间的研究成果	第67-68页