A Logic Programming Based Framework for Security Protocol Verification
|
 |
|
Post a Comment
|
|
|
|
|
CONTRIBUTORS:
|
|
|
PROCEEDINGS TITLE:
|
|
|
YEAR:
|
2008
|
|
PUB TYPE:
|
Conference Paper in Proceedings
|
|
PAGES:
|
638 -
643
|
|
SUBJECT(S):
|
None
|
|
DISCIPLINE:
|
Computer Science
|
|
HTTP:
|
|
|
LANGUAGE:
|
English
|
|
PUB ID:
|
103-443-355
(Last edited on
2008/06/11 20:27:40 GMT-6)
|
|
SPONSOR(S):
|
|
|
ABSTRACT:
Security protocol analysis has been a major research topic in information security and recognised to be a notoriously hard problem. In this paper, we take the advantage of answer set programming technology to develop an effective
framework to verify security protocols carrying claimed security proof under adversary models on computational complexity theory. In our approach, a security protocol, adversary actions and attacks can be formally specified within a unified logic program. Then the verification is performed in an automatic manner by computing the stable models of the underlying logic program. We use Boyd-Gonz´alez Nieto conference key agreement protocol as our case study protocol to demonstrate the effectiveness and efficiency of our approach.
|
|
|
|
STATISTICS
|
|
Click on # to view
|
|
Citations
|
|
0
|
|
References
|
|
1
|
|
Comments
|
|
0
|
|
Quality
|
|
0/0.00
|
|
Interest
|
|
0/0.00
|
|
View(er)s
|
|
2/35
|
|
|
|
|
|
|
| Prev |
Next |
|