Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
type: Item
instance of: scholarly article
title: Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types
zbMATH Open document ID: 1115.68073
author: Iliano Cervesato
author: Mark-Oliver Stehr
published in: Higher-Order and Symbolic Computation
publication date: 2007-05-21T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5155277
zbMATH Keywords: Security protocol
zbMATH Keywords: Multiset rewriting
zbMATH Keywords: Specification
zbMATH Keywords: Dependent types
describes a project that uses: ProVerif
describes a project that uses: Maude
describes a project that uses: Automath
describes a project that uses: NRL
describes a project that uses: ASSET
describes a project that uses: SPIN
MaRDI profile type: Publication
full work available at URL: s10990-007-9003-3
OpenAlex ID: W3192975255
cites work: Analyzing security protocols with secrecy types and logic programs
cites work: A calculus for cryptographic protocols: The spi calculus
cites work: Theoretical Pearls:Representing ‘undefined’ in lambda calculus
cites work: The chemical abstract machine
cites work: Specification and proof in membership equational logic
cites work: Q4530846
cites work: Q4418590
cites work: Q4418589
cites work: Maude: specification and programming in rewriting logic
cites work: A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
cites work: The NRL Protocol Analyzer: An Overview
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q4248252
cites work: Q5472887
cites work: Q5472892
cites work: Types for Proofs and Programs
DOI: 10.1007/S10990-007-9003-3
Recommended article: Typed Multiset Rewriting Specifications of Security Protocols
Recommended article: Q4012881
Recommended article: A Two-Level Logic Approach to Reasoning about Typed Specification Languages
Recommended article: Analyzing security protocols with secrecy types and logic programs
Recommended article: A Rewriting Logic Approach to Type Inference
Recommended article: Dependently-Typed Formalisation of Relation-Algebraic Abstractions
Recommended article: Q3491030
description: scientific article; zbMATH DE number 5155277