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

Mark Ryan

doi:10.1007/978-3-642-15497-3_20

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

Mark Ryan

Computer Science

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Original language	English
Pages	319-339
Number of pages	21
DOIs	https://doi.org/10.1007/978-3-642-15497-3_20
Publication status	Published - 1 Jan 2010
Event	15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece - Duration: 1 Jan 2010 → …

Conference

Conference	15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece
Period	1/01/10 → …

Keywords

Trusted Computing
CSP
Peer-to-Peer
formal verification

Access to Document

10.1007/978-3-642-15497-3_20

Verifying Interoperability requirements in Pervasive Systems
Ryan, M. (Principal Investigator) & Ritter, E. (Co-Investigator)
Engineering & Physical Science Research Council
8/10/08 → 7/03/13
Project: Research Councils

Cite this

@conference{edfcae7746c1418c828ce2781d9e0b0a,

title = "Verifying Security Property of Peer-to-Peer Systems Using CSP",

keywords = "Trusted Computing, CSP, Peer-to-Peer, formal verification",

author = "Mark Ryan",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-15497-3\_20",

language = "English",

pages = "319--339",

note = "15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece ; Conference date: 01-01-2010",

}

TY - CONF

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

AU - Ryan, Mark

PY - 2010/1/1

Y1 - 2010/1/1

KW - Trusted Computing

KW - CSP

KW - Peer-to-Peer

KW - formal verification

U2 - 10.1007/978-3-642-15497-3_20

DO - 10.1007/978-3-642-15497-3_20

M3 - Paper

SP - 319

EP - 339

T2 - 15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece

Y2 - 1 January 2010

ER -

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

Conference

Keywords

Access to Document

Projects

Verifying Interoperability requirements in Pervasive Systems

Cite this