Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories

Autores UPV
Año
Libro Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday