Efficient general AGH-unification

General E-unification is an important tool in cryptographic protocol analysis, where the equational theory E represents properties of the cryptographic algorithm, and uninterpreted function symbols represent other functions. The property of a homomorphism over an Abelian group is common in encryptio...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 238; pp. 128 - 156
Main Authors:	Liu, Zhiqiang, Lynch, Christopher
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.11.2014
Subjects:	Abelian group General unification Homomorphism Abelian group Homomorphism General unification
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!