Model checking the iKP electronic payment protocols

Kazuhiro Ogata. Model checking the iKP electronic payment protocols. Inf. Sec. Techn. Report, 36:101-111, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: