Mathematical Foundations of Computer Science 2003

DOI10.1007/b11836zbMath1124.94301OpenAlexW2495578842MaRDI QIDQ5431313

Maria Grazia Buscemi, Michele Boreale

Publication date: 7 December 2007

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

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

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (1)

Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures

This page was built for publication: Mathematical Foundations of Computer Science 2003