Ricardo Corin, Sandro Etalle, Ari Saptawijaya. A Logic for Constraint-based Security Protocol Analysis. In 2006 IEEE Symposium on Security and Privacy (S&P 2006), 21-24 May 2006, Berkeley, California, USA. pages 155-168, IEEE Computer Society, 2006. [doi]
Abstract is missing.