Publication:2848034
From MaRDI portal
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
Related Items
Intruder deducibility constraints with negation. Decidability and application to secured service compositions, Tree automata with equality constraints modulo equational theories, Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties, Verifying Cryptographic Protocols with Subterms Constraints