Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining (Q5404470)
From MaRDI portal
scientific article; zbMATH DE number 6272593
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining |
scientific article; zbMATH DE number 6272593 |
Statements
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining (English)
0 references
24 March 2014
0 references
equational unification
0 references
block chaining
0 references
protocol
0 references
