STACS 2005
From MaRDI portal
Publication:5710671
DOI10.1007/b106485zbMath1118.94306OpenAlexW4230940848MaRDI QIDQ5710671
Thomas Wilke, Detlef Kähler, Ralf Küsters
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106485
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62)
This page was built for publication: STACS 2005
