操作语义模型相关论文
安全协议的操作语义模型是一种分析安全协议的新模型,它结合了以往多种协议分析模型的优点,能分析多个协议及多个主体并行运行的协......
协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题。通过提出采用安全协议的操作语义模型对组合协议进行形式分析......
