An inductive approach to strand spaces
type: Item
instance of: scholarly article
title: An inductive approach to strand spaces
zbMATH Open document ID: 1298.68083
author: Yongjian Li
author: Jun Pang
published in: Formal Aspects of Computing
publication date: 2014-11-11T00:00:00Z
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 6368388
zbMATH Keywords: strand spaces
zbMATH Keywords: security protocols
zbMATH Keywords: theorem proving
zbMATH Keywords: inductive methods
describes a project that uses: Isabelle
describes a project that uses: ML
describes a project that uses: Isabelle/HOL
describes a project that uses: HOL
describes a project that uses: Interrogator
describes a project that uses: Isar
describes a project that uses: PVS
MaRDI profile type: Publication
full work available at URL: s00165-011-0187-2
OpenAlex ID: W2024331990
cites work: On the security of public key protocols
cites work: Authentication tests and the structure of bundles.
cites work: Schubert calculus and representations of the general linear group
cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2005
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Q5687569
cites work: Timed Traces and Strand Spaces
DOI: 10.1007/S00165-011-0187-2
description: scientific article; zbMATH DE number 6368388