Both one-to-one and one-to-many correspondences between events, sometimes known as injective and non-injective agreements, respectively, are widely used to specify correctness properties of cryptographic protocols. In earlier work, we showed how to typecheck one-to-one correspondences for protocols expressed in the spi-calculus. We present a new type and effect system able to verify both one-to-one and one-to-many correspondences. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Gordon, A. D., & Jeffrey, A. (2003). Typing one-to-one and one-to-many correspondences in security protocols. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2609, 263–282. https://doi.org/10.1007/3-540-36532-x_17
Mendeley helps you to discover research relevant for your work.