• DocumentCode
    2297098
  • Title

    A BSP Algorithm for the State Space Construction of Security Protocols

  • Author

    Gava, Frédéric ; Guedj, Michaél ; Pommereau, Franck

  • Author_Institution
    LACL, Univ. of Paris-East Creteil, Créteil, France
  • fYear
    2010
  • fDate
    Sept. 30 2010-Oct. 1 2010
  • Firstpage
    37
  • Lastpage
    44
  • Abstract
    This paper presents a Bulk-Synchronous Parallel (BSP) algorithm to compute the discrete state space of structured models of security protocols. The BSP model of parallelism avoids concurrency related problems (mainly deadlocks and non-determinism) and allows us to design an efficient algorithm that is at the same time simple to express. A prototype implementation has been developed, allowing to run benchmarks showing the benefits of our algorithm.
  • Keywords
    cryptographic protocols; security of data; state-space methods; BSP algorithm; bulk synchronous parallel algorithm; concurrency problem; discrete state space; prototype implementation; security protocol; structured model;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop on, and High Performance Computational Systems Biology, Second International Workshop on
  • Conference_Location
    Enschede
  • Print_ISBN
    978-0-7695-4265-2
  • Type

    conf

  • DOI
    10.1109/PDMC-HiBi.2010.14
  • Filename
    5698468
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2297098