Rewriting-Based Verification of Authentication Protocols
Rewriting-Based Verification of Authentication Protocols
复制标题
基于重写的认证协议验证
DOI：
10.1016/s1571-0661(05)82536-8
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
K. Futatsugi
中科院分区：
文献类型：
--
作者：
K. Ogata;K. Futatsugi
提出了一种基于重写的安全协议形式化分析方法。方法大致如下。安全协议被建模为一个观察转换系统，在CafeOBJ中进行了描述。证明协议具有安全（安全性）属性的证明分数随后被写入CafeOBJ，证明分数由CafeOBJ系统执行（重写）。
We propose a method of formally analysing security protocols based on rewriting. The method is roughly as follows. A security protocol is modeled as an observational transition system, which is described in CafeOBJ. Proof scores showing that the protocol has safety (security) properties are then written in CafeOBJ and the proof scores are executed (rewritten) by the CafeOBJ system.
DOI：
--
发表时间：
2007
期刊：
Sci. of Comp. Prog 66(2)
影响因子：
--
作者：
Kazuhiro Ogata;Kokichi Futatsugi
通讯作者：
Kokichi Futatsugi