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

Research output: Contribution to conference (unpublished)Paper

3 Citations (Scopus)
Original languageEnglish
Pages319-339
Number of pages21
DOIs
Publication statusPublished - 1 Jan 2010
Event15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece -
Duration: 1 Jan 2010 → …

Conference

Conference15th European Symposium on Research in Computer Security, Sep 20-22, 2010. Athens, Greece
Period1/01/10 → …

Keywords

  • Trusted Computing
  • CSP
  • Peer-to-Peer
  • formal verification

Cite this