不停机性相关硕士博士期刊学术论文 - 搜论网

不停机性相关论文

安全协议逻辑程序不停机性快速预测的动态方法

基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动......

期刊

安全协议验证不动点计算不停机性预测 security protocol verification fixpoint computation non

看过本文同时还关注