scientific article
From MaRDI portal
Publication:2848034
zbMath1272.94049MaRDI QIDQ2848034
Christopher Lynch, Catherine A. Meadows
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000733
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties ⋮ Verifying Cryptographic Protocols with Subterms Constraints ⋮ Tree automata with equality constraints modulo equational theories ⋮ Intruder deducibility constraints with negation. Decidability and application to secured service compositions
This page was built for publication:
