scientific article

zbMath1272.68053MaRDI QIDQ2849571

Ricardo Corin, Sandro Etalle, Jeroen Doumen

Publication date: 20 September 2013

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

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)

Related Items

Model Checking Security Protocols, Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks, Unnamed Item, Reducing equational theories for the decision of static equivalence, Computing knowledge in security protocols under convergent equational theories, Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete, Automated verification of selected equivalences for security protocols, Composition of password-based protocols, Automating Security Analysis: Symbolic Equivalence of Constraint Systems, Computing Knowledge in Security Protocols under Convergent Equational Theories, Computationally sound implementations of equational theories against passive adversaries, YAPA: A Generic Tool for Computing Intruder Knowledge, A Calculus to Detect Guessing Attacks