DMCA
A Novel Approach to the Automation of Logic-Based Security Protocol Verification (2004)
| Venue: | WSEAS Transactions on Information Science and Applications |
| Citations: | 5 - 5 self |
BibTeX
@ARTICLE{Dojen04anovel,
author = {Reiner Dojen and Tom Coffey},
title = {A Novel Approach to the Automation of Logic-Based Security Protocol Verification},
journal = {WSEAS Transactions on Information Science and Applications},
year = {2004},
pages = {1243--1247}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract:- Secure communications over insecure networks relies on the security of cryptographic protocols. Formal verification is an essential step in the design of security protocols. In particular logic-based verification has been shown to be effective and has discovered a number of protocol flaws. However, manual application of the deductive reasoning process is complex, tedious and prone to error. This paper introduces a novel approach to the automation of such a deductive reasoning process. This new approach results in a comparatively simple – but powerful – proving system for logic based security protocol verification.
Keyphrases
novel approach logic-based security protocol verification deductive reasoning process insecure network relies powerful proving system cryptographic protocol manual application particular logic-based verification essential step formal verification secure communication security protocol security protocol verification new approach result protocol flaw
