Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

DOI10.2168/LMCS-10(1:5)2014zbMath1325.68117arXiv1401.0445WikidataQ122879359 ScholiaQ122879359MaRDI QIDQ5404470

Paliath Narendran, Christopher Bouchard, Michaël Rusinowitch, Siva Anantharaman

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.0445

zbMATH Keywords

block chainingprotocolequational unification

Mathematics Subject Classification ID

Cryptography (94A60) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

This page was built for publication: Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining