An Alternate Explanation of two BAN-logic failures

Paul C. van Oorschot. An Alternate Explanation of two BAN-logic failures . In EUROCRYPT. pages 443-447, 1993. [doi]

Abstract

Abstract is missing.