• DocumentCode
    2976586
  • Title

    A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols

  • Author

    Gava, Frederic ; Guedj, Michael ; Pommereau, Franck

  • Author_Institution
    Univ. of Paris-East, Marne-la-Vallée, France
  • fYear
    2012
  • fDate
    14-16 Dec. 2012
  • Firstpage
    79
  • Lastpage
    84
  • Abstract
    This paper presents a distributed algorithm to compute on-the-fly whether a structured model of a security protocol satisfies or not a CTL* formula. The design of this simple and still efficient algorithm is possible by using the structured nature of security protocols. A prototype implementation has been developed, allowing to run benchmarks.
  • Keywords
    cryptographic protocols; distributed algorithms; BSP algorithm; distributed algorithm; on-the-fly checking CTL* formulas; security protocols; structured model; Algorithm design and analysis; Computational modeling; Educational institutions; Partitioning algorithms; Protocols; Security; Syntactics; BSP; CTL*; Security Protocols;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2012 13th International Conference on
  • Conference_Location
    Beijing
  • Print_ISBN
    978-0-7695-4879-1
  • Type

    conf

  • DOI
    10.1109/PDCAT.2012.12
  • Filename
    6589244
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2976586