Promela相关论文
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题。确保这些系统的可靠性成为计算机科学领域中重要研......
安全协议,是以密码学为基础的信息交换协议。由于安全目标本身的复杂性、协议运行环境的复杂性以及攻击者模型的复杂性等多方面的......
基于RGPS服务层元模型的特征,本文提出了一种形式化方法来验证元模型的活性.首先,用BPEL语言描述RGPS服务层元模型.接着,实现BPEL......
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN对Andrew RPC协议进行建模和分析的方法,......
模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式.本文从语义角度研究PROMELA语......
模型检测是协议验证的技术之一。在CSMA/CD协议的验证过程中对该协议进行了简化,忽略了通道时延、退避算法等细节,运用Promela语言......
