scientific article

zbMath1272.68171MaRDI QIDQ2849864

Mark-Oliver Stehr, Iliano Cervesato

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053009

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

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Formal analysis of Kerberos 5 ⋮ A rewriting logic approach to operational semantics

Uses Software

• Maude

This page was built for publication: