Verifying Security Property of Peer-to-Peer Systems Using CSP.

Tien Tuan Anh Dinh, Mark Ryan

Browse the full ESORICS paper archive.