PROOF SCORE APPROACH TO ANALYSIS OF ELECTRONIC COMMERCE PROTOCOLS
OGATA, KAZUHIRO, FUTATSUGI, KOKICHIVolume:
20
Language:
english
Journal:
International Journal of Software Engineering and Knowledge Engineering
DOI:
10.1142/S0218194010004712
Date:
March, 2010
File:
PDF, 377 KB
english, 2010