机译:定理证明技术对麻袋协议安全性进行形式验证科学出版物
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:PVS的形式化以证明Dolev-Yao级联协议模型的安全性所必需的平衡属性
机译:使用I / O Automata和PVS定理箴言证明飞机着陆协议的安全性质:案例研究
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:使用定时和不定时I / O自动机证明飞机着陆协议的安全属性:案例研究