"Proof Score Approach to Analysis of Electronic Commerce Protocols."

Kazuhiro Ogata, Kokichi Futatsugi (2010)

Details and statistics

DOI: 10.1142/S0218194010004712

access: closed

type: Journal Article

metadata version: 2020-07-22