Attacking group protocols by refuting incorrect inductive conjectures
type: Item
instance of: scholarly article
title: Attacking group protocols by refuting incorrect inductive conjectures
zbMATH Open document ID: 1134.94378
author: Graham Steel
author: Alan Bundy
published in: Journal of Automated Reasoning
publication date: 2007-01-30T00:00:00Z
full work available at URL: Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.pdf
Mathematics Subject Classification ID: 94A62
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5119733
describes a project that uses: Iolus
MaRDI profile type: Publication
OpenAlex ID: W2044387415
Wikidata QID: Q123015140
cites work: Induction = I-axiomatization + first-order consistency.
cites work: New directions in cryptography
cites work: On the security of public key protocols
cites work: Q5649989
cites work: Using encryption for authentication in large networks of computers
cites work: Automated Reasoning
cites work: Q4386948
cites work: Combining superposition, sorts and splitting
DOI: 10.1007/S10817-005-9016-8
description: scientific article; zbMATH DE number 5119733