scientific article
From MaRDI portal
Publication:2848035
zbMath1272.94022MaRDI QIDQ2848035
Michaël Rusinowitch, Yannick Chevalier, Ralf Küsters, Mathieu Turuani
Publication date: 25 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000745
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Challenges in the Automated Verification of Security Protocols ⋮ Transducer-based analysis of cryptographic protocols ⋮ An NP decision procedure for protocol insecurity with XOR ⋮ Simulation relations for alternating Büchi automata
This page was built for publication:
