Verifying a signature architecture: a comparative case study
type: Item
instance of: scholarly article
title: Verifying a signature architecture: a comparative case study
zbMATH Open document ID: 1111.68075
author: Hironobu Kuruma
author: Kunihiko Miyazaki
author: Kazuo Takaragi
author: Burkhart Wolff
author: David Basin
published in: Formal Aspects of Computing
publication date: 2007-04-19T00:00:00Z
full work available at URL: 165 2006 Article 12.pdf
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5145021
zbMATH Keywords: Formal methods
zbMATH Keywords: Comparison
zbMATH Keywords: Theorem proving
zbMATH Keywords: Model checking
zbMATH Keywords: Security
zbMATH Keywords: Case study
describes a project that uses: PVS
describes a project that uses: Z
describes a project that uses: LTL2BA
describes a project that uses: ICS
describes a project that uses: HOL-Z
describes a project that uses: SPIN
describes a project that uses: OFMC
describes a project that uses: Nuprl
describes a project that uses: NQTHM
MaRDI profile type: Publication
OpenAlex ID: W1989012792
cites work: The B-Book
cites work: A really temporal logic
cites work: Experimental evaluation of verification and validation tools on Martian Rover software
cites work: Combining WS1S and HOL
cites work: Q4012877
cites work: FM 2005: Formal Methods
cites work: Automated Deduction – CADE-20
cites work: Q4553256
cites work: Q4551134
cites work: Completing the temporal picture
cites work: Q4002642
cites work: Complete Integer Decision Procedures as Derived Rules in HOL
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Combining partial-order reductions with on-the-fly model-checking.
cites work: Q4331846
cites work: Automata-theoretic techniques for modal logics of programs
DOI: 10.1007/S00165-006-0012-5
Recommended article: FM 2005: Formal Methods
Recommended article: Verifiable Composition of Signature and Encryption
Recommended article: Q4855398
Recommended article: Verifiably Encrypted Signatures: Security Revisited and a New Construction
Recommended article: Machine-Checked Security Proofs of Cryptographic Signature Schemes
Recommended article: Conditionally Verifiable Signature
Recommended article: Security of Verifiably Encrypted Signatures and a Construction without Random Oracles
Recommended article: Progressive and efficient verification for digital signatures
Recommended article: Q4387315
Recommended article: Generic Constructions for Verifiable Signcryption
description: scientific article; zbMATH DE number 5145021