CONCUR 2004 - Concurrency Theory

DOI10.1007/b100113zbMath1099.94521OpenAlexW2499482941MaRDI QIDQ5311473

Liana Bozga, Yassine Lakhneche, Cristian Ene

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100113

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Related Items

Constraint Abstraction in Verification of Security Protocols ⋮ Modeling and Verifying Time Sensitive Security Protocols with Constraints