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

Mark Ryan

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Search results