Verification of Security Protocols

This project aims at verifying security properties of protocols. In particular, we verified secrecy of PAN(Primary Account Number) in the SET payment protocol.

Selected Publication(s)

Journal Papaer(s)

Verification of Secrecy of the SET Payment Protocol

(in Japanese)

Hideki Sakurada

Journal of Information Processing Society Japan, Vol.44(8), pp.2106-2116

Information Processing Society Japan, 2003

Abstract

Refreed Conference Paper(s)

A Role-Based Specification of the SET Payment Transaction Protocol

Hideki Sakurada and Yasuyuki Tsukada

Proceedings of I-NetSec01

Abstract

Proof Scripts

Secrecy Proof of PAN(Primary Account Number) in the SET Payment Protocol

See here for details