Demonstration of the Modified CSN-logic
Takács, Péter, Tamás Mihálydeák · University of Debrecen Electronic Archive (University of Debrecen) · 2011
We know a number of tools for examining cryptographic protocols.We present the modified CSN-logic in this article.We analyze the Needham-Schroeder protocol with this logical tool.We emphasize the important moments of the practical analysis: idealization, detectability of active attacks, bounded nature of the logical model.