Kazuhiro Ogata. Model checking the iKP electronic payment protocols. Inf. Sec. Techn. Report, 36:101-111, 2017. [doi]
@article{Ogata17, title = {Model checking the iKP electronic payment protocols}, author = {Kazuhiro Ogata}, year = {2017}, doi = {10.1016/j.jisa.2017.08.006}, url = {https://doi.org/10.1016/j.jisa.2017.08.006}, researchr = {https://researchr.org/publication/Ogata17}, cites = {0}, citedby = {0}, journal = {Inf. Sec. Techn. Report}, volume = {36}, pages = {101-111}, }