T. Kozlowski and S. A. Smolka. Digital signatures with encryption: Fact and fiction (extended abstract). In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Available via URL: http://dimacs.rutgers.edu/Workshops/Security/ program2/program.html. 45 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards a Completeness Result for Model Checking of Security.. - Lowe (1999) (69 citations) (Correct)
....of the most general intruder who can interact with the protocol, and to use a state exploration tool to discover if the system can enter an insecure state, that is, whether there is an attack upon the protocol. A number of different authors have used this approach, either with general purpose [10, 13, 17, 21, 4, 11] or special purpose model checkers [20, 10, 18] some tools (for example, the NRL Protocol Analyzer [10, 19] combine aspects of theorem proving and model checking to try to show that it is enough to consider only a finite set of states, and then to search those states. These approaches have ....
T. Kozlowski and S. A. Smolka. Digital signatures with encryption: Fact and fiction (extended abstract). In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Available via URL: http://dimacs.rutgers.edu/Workshops/Security/ program2/program.html. 45
Towards a Completeness Result for Model Checking of Security.. - Lowe (1998) (69 citations) (Correct)
....of the most general intruder who can interact with the protocol, and to use a state exploration tool to discover if the system can enter an insecure state, that is, whether there is an attack upon the protocol. A number of different authors have used this approach, either with general purpose [11, 14, 18, 22, 5, 12] or special purpose model checkers [21, 11, 19] some tools (for example, the NRL Protocol Analyzer [11, 20] combine aspects of theorem proving and model checking to try to show that it is enough to consider only a finite set of states, and then to search those states. These approaches have ....
T. Kozlowski and S. A. Smolka. Digital signatures with encryption: Fact and fiction (extended abstract). In Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Available via URL: http://dimacs.rutgers.edu/Workshops/ Security/program2/program.html.
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