"Using SMV for Cryptographic Protocol Analysis: A Case Study."

Yuqing Zhang, Chunling Wang, Shimin Wei (2005)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2006-02-15