R. Kemmerer, C. Meadows, and Millen J. Three systems for cryptographic analysis. Journal of Cryptology, 7(2), 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Embedding CSP in PVS. An Application to Authentication.. - Dutertre, Schneider (1997) (4 citations) (Correct)
....to a specific class of problems, namely the verification of authentication protocols. Apart from existing mechanization of belief logics such as described in [3] tool support in this area, has mostly concentrated on analysing security protocols by searching for or attempting to construct attacks [16, 19, 14, 27]. The results of this kind of analysis is either the successful discovery of an attack, or else a bald statement that none can be found. The discovery of an attack provides useful insight into the flaws of a particular design, and hence can be useful in improving the design of the protocol. As ....
R. Kemmerer, C. Meadows, and Millen J. Three systems for cryptographic analysis. Journal of Cryptology, 7(2), 1994.
Using a PVS Embedding of CSP to Verify Authentication Protocols - Dutertre, Schneider (1997) (16 citations) (Correct)
....the development of PVS theories for this purpose. In the analysis of security protocols, tools exist which support various belief logics [3, 1] Closer to our approach are methods based on modelling protocols as collections of rules for transforming and reducing messages. Tool support in this area [9, 8] is mostly based on analysis for reachability of an insecure state which corresponds to the existence of an attack. This usually requires finitary models and the inability to find an attack does not in itself guarantee correctness of the full scale protocol. Our verification approach is then a ....
R. Kemmerer, C. Meadows, and Millen J. Three systems for cryptographic analysis. Journal of Cryptology, 7(2), 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC