Choo (2007) An Integrative Framework to Protocol Analysis and Repair: Bellare--Rogaway Model + Planning + Model Checker

getCITED

Home Search Add Content Reports Help

Edit Publication | Edit Contributors | Delete Publication | Edit References | Edit Citations

Add to Bookstack | Show Bookstack | Change Bookstack

An Integrative Framework to Protocol Analysis and Repair: Bellare--Rogaway Model + Planning + Model Checker

Post a Comment

CONTRIBUTORS:

Author:

Choo, Kim-Kwang Raymond (Australian Institute of Criminology)

JOURNAL:

INFORMATICA, 18(4), 547 - 568.

YEAR:

2007

PUB TYPE:

Journal Article

SUBJECT(S):

key establishment protocols, model checker, key authentication, provable security, planning problem

DISCIPLINE:

Computer Science

HTTP:

http://iospress.metapress.com/link.asp?id=7u73513872501lk0

LANGUAGE:

English

PUB ID:

103-434-086 (Last edited on 2007/12/26 20:35:32 US/Mountain)

SPONSOR(S):

ABSTRACT:
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verification Tool (SHVT), is then used to perform state-space analysis on the Automata in the setting of planning problem. The three-party identity-based secret public key protocol (3P-ID-SPK) protocol of Lim and Paterson (2006), which claims to provide explicit key authentication, is used as a case study. We then refute its heuristic security argument by revealing a previously unpublished flaw in the protocol using SHVT. We then show how our approach can automatically repair the protocol. This is, to the best of our knowledge, the first work that integrates an adversarial model from the computational complexity paradigm with an automated tool from the computer security paradigm to analyse protocols in an artificial intelligence problem setting -- planning problem -- and, more importantly, to repair protocols.

STATISTICS

Click on # to view
Citations		0
References		0
Comments		0
Quality		0/0.00
Interest		0/0.00
View(er)s		2/222

Quality
	N/A
High
	7
	6
	5
	4
	3
	2
	1
Low

Interest
	N/A
High
	7
	6
	5
	4
	3
	2
	1
Low

Prev | Next