Automatic verification of anonymity of protocols

Hideki Sakurada. Automatic verification of anonymity of protocols. JSIAM Lett., 3:97-100, 2011. [doi]

Abstract

Abstract is missing.