Author of the publication

DOVE: A Tool for Design Oriented Verification and Evaluation.

, , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 574-575. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

DOVE: A Tool for Design Oriented Verification and Evaluation., , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 574-575. Springer, (1997)Formalizing certificate management systems., , , and . ICON, page 340-348. IEEE, (1999)The PKI Specification Dilemma: A Formal Solution., , , and . ACISP, volume 1841 of Lecture Notes in Computer Science, page 206-219. Springer, (2000)A State-Based Model for Certificate Management Systems., , , and . Public Key Cryptography, volume 1751 of Lecture Notes in Computer Science, page 75-92. Springer, (2000)A Tool for Practical Reasoning about State Machine Designs., , and . Australian Software Engineering Conference, page 16-26. IEEE Computer Society, (1996)An Axiomatic Basis for Reasoning about Trust in PKIs., , and . ACISP, volume 2119 of Lecture Notes in Computer Science, page 274-291. Springer, (2001)XIsabelle: A System Description., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 400-403. Springer, (1997)Towards Certificate Verification in a Certificate Management System., , , and . ACSC, page 150-157. IEEE Computer Society, (2000)Proof Tactics for a Theory of State Machines in a Graphical Environment., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 366-379. Springer, (1997)