Cost-based and time-based analysis of DoS-resistance in HIP

Authors:
Suratose Tritilanunt;Colin Boyd;Ernest Foo;Juan Manuel González Nieto
Affiliations:
Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia;Queensland University of Technology, Brisbane, Australia
Venue:
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Year:
2007

Citing 13
Cited 1

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
A cost-based framework for analysis of denial of service in networks

Journal of Computer Security
Performance analysis of elliptic curve cryptography for SSL

WiSE '02 Proceedings of the 1st ACM workshop on Wireless security
Efficient, DoS-resistant, secure key exchange for internet protocols

Proceedings of the 9th ACM conference on Computer and communications security
Stateless connections

ICICS '97 Proceedings of the First International Conference on Information and Communication Security
Modelling and Analyzing Cryprographic Protocols Using Petri Nets

ASIACRYPT '92 Proceedings of the Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Proofs of Work and Bread Pudding Protocols

CMS '99 Proceedings of the IFIP TC6/TC11 Joint Working Conference on Secure Information Networks: Communications and Multimedia Security
Optimization and Benchmark of Cryptographic Algorithms on Network Processors

IEEE Micro
Modelling denial of service attacks on JFK with Meadows's cost-based framework

ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Analysis of the HIP base exchange protocol

ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy
Effect of malicious synchronization

ACNS'06 Proceedings of the 4th international conference on Applied Cryptography and Network Security
Formal methods for cryptographic protocol analysis: emerging issues and trends

IEEE Journal on Selected Areas in Communications

Modeling and analysis of internet key exchange protocolv2 and a proposal for its variant

Proceedings of the 6th ACM India Computing Convention

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a formal model of the Host Identity Protocol (HIP) based on Timed Coloured Petri Nets (Timed CPNs) and use a simulation approach provided in CPN Tools to achieve a formal analysis. We aim to examine unbalanced computation that leads to resource exhaustion attacks in key exchange protocols comparing among a legitimate initiator, four types of adversary who attempt to deny the service at different stages of the protocol execution, and a responder. By adopting the key idea of Meadows' cost-based framework and refining the definition of operational costs during the protocol execution, our simulation provides an accurate cost estimate of protocol execution comparing between those principals. Under four defined attack strategies, however, Meadows' cost-based framework generates a different outcome compared with the simulation approach from Timed CPNs. Analysis of our experimental results reveals a limitation of Meadows' cost-based framework for addressing DoS threats.