Article ID Journal Published Year Pages File Type
4951461 Journal of Logical and Algebraic Methods in Programming 2017 18 Pages PDF
Abstract
We propose here a synthesis of decidability and undecidability results for equivalence-based security properties. Moreover, we give an overview of existing verification tools that may be used to verify equivalence-based security properties.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
Authors
, ,