Distributed temporal logic for the analysis of security protocol models
type: Item
instance of: scholarly article
title: Distributed temporal logic for the analysis of security protocol models
zbMATH Open document ID: 1253.68053
author: Carlos Caleiro
author: Jaime Ramos
author: Luca Viganò
author: David Basin
published in: Theoretical Computer Science
publication date: 2011-07-18T00:00:00Z
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 5925530
zbMATH Keywords: security protocols
zbMATH Keywords: security protocol analysis
zbMATH Keywords: security protocol models
zbMATH Keywords: temporal logic
zbMATH Keywords: distributed temporal logic
describes a project that uses: Casper
describes a project that uses: NRL
describes a project that uses: AVISPA
describes a project that uses: OFMC
describes a project that uses: scyther
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.04.006
OpenAlex ID: W2024006228
cites work: Secure implementation of channel abstractions
cites work: A framework for compositional verification of security protocols
cites work: Computer Aided Verification
cites work: The reactive simulatability (RSIM) framework for asynchronous systems
cites work: Labelled Tableaux for Distributed Temporal Logic
cites work: Q4542560
cites work: Protocols for authentification and key establishment
cites work: Metareasoning about security protocols using distributed temporal logic
cites work: Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis
cites work: On the semantics of Alice \& Bob specifications of security protocols
cites work: Q4418589
cites work: Q4798026
cites work: Q4804905
cites work: Q4417886
cites work: Safely composing security protocols
cites work: Q4415247
cites work: On the security of public key protocols
cites work: Specifying communication in distributed information systems
cites work: Cryptographic Protocol Composition via the Authentication Tests
cites work: Authentication tests and the structure of bundles.
cites work: Q2767013
cites work: TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
cites work: Q3785913
cites work: The NRL Protocol Analyzer: An Overview
cites work: Secure Pseudonymous Channels
cites work: The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
cites work: Using encryption for authentication in large networks of computers
cites work: Protocol composition logic (PCL)
cites work: A (restricted) quantifier elimination for security protocols
cites work: The CL-Atse Protocol Analyser
cites work: Q3030239
cites work: Q4857386
DOI: 10.1016/J.TCS.2011.04.006
description: scientific article; zbMATH DE number 5925530