scientific article; zbMATH DE number 1956589

zbMath1031.94512MaRDI QIDQ4417934

Michael Périn, Liana Bozga, Yassine Lakhneche

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190299.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Related Items (2)

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives ⋮ Handling Left-Quadratic Rules When Completing Tree Automata

Uses Software

• Casper

This page was built for publication: