On different approaches to establish the security of cryptographic protocols

Tom Coffey; Reiner Dojen; Tomas Flanagan

On different approaches to establish the security of cryptographic protocols

Tom Coffey, Reiner Dojen, Tomas Flanagan

Department of Electronics & Computer Engineering

University of Limerick

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Wireless communications place a number of restrictions on the design of suitable security protocols. As a result, new protocols have been proposed, intended especially for wireless applications. Several of these protocols have been found to have significant weaknesses. Formal verification is an essential step to increase confidence in security protocols. This paper discusses different approaches to formal verification. As an example the formal verification of a security protocol for wireless communication demonstrated by using a modal logic.

Original language	English
Title of host publication	Proceedings of the International Conference on Security and Management, SAM 2003
Editors	H.R. Arabnia, Y. Mun, H.R. Arabnia, Y. Mun
Pages	637-643
Number of pages	7
Publication status	Published - 2003
Event	Proceedings of the International Conference on Security and Management, SAM 2003 - Las vegas, NV, United States Duration: 23 Jun 2004 → 26 Jun 2004

Publication series

Name	Proceedings of the International Conference on Security and Management
Volume	2

Conference

Conference	Proceedings of the International Conference on Security and Management, SAM 2003
Country/Territory	United States
City	Las vegas, NV
Period	23/06/04 → 26/06/04

Keywords

Authentication
Mobile security
Protocol verification
Security protocols
Verification logics

Cite this

@inproceedings{dc497834396b44ffafa61f12ae785d6c,

title = "On different approaches to establish the security of cryptographic protocols",

abstract = "Wireless communications place a number of restrictions on the design of suitable security protocols. As a result, new protocols have been proposed, intended especially for wireless applications. Several of these protocols have been found to have significant weaknesses. Formal verification is an essential step to increase confidence in security protocols. This paper discusses different approaches to formal verification. As an example the formal verification of a security protocol for wireless communication demonstrated by using a modal logic.",

keywords = "Authentication, Mobile security, Protocol verification, Security protocols, Verification logics",

author = "Tom Coffey and Reiner Dojen and Tomas Flanagan",

year = "2003",

language = "English",

isbn = "1932415165",

series = "Proceedings of the International Conference on Security and Management",

pages = "637--643",

editor = "H.R. Arabnia and Y. Mun and H.R. Arabnia and Y. Mun",

booktitle = "Proceedings of the International Conference on Security and Management, SAM 2003",

note = "Proceedings of the International Conference on Security and Management, SAM 2003 ; Conference date: 23-06-2004 Through 26-06-2004",

}

Coffey, T, Dojen, R & Flanagan, T 2003, On different approaches to establish the security of cryptographic protocols. in HR Arabnia, Y Mun, HR Arabnia & Y Mun (eds), Proceedings of the International Conference on Security and Management, SAM 2003. Proceedings of the International Conference on Security and Management, vol. 2, pp. 637-643, Proceedings of the International Conference on Security and Management, SAM 2003, Las vegas, NV, United States, 23/06/04.

On different approaches to establish the security of cryptographic protocols. / Coffey, Tom; Dojen, Reiner; Flanagan, Tomas.
Proceedings of the International Conference on Security and Management, SAM 2003. ed. / H.R. Arabnia; Y. Mun; H.R. Arabnia; Y. Mun. 2003. p. 637-643 (Proceedings of the International Conference on Security and Management; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On different approaches to establish the security of cryptographic protocols

AU - Coffey, Tom

AU - Dojen, Reiner

AU - Flanagan, Tomas

PY - 2003

Y1 - 2003

N2 - Wireless communications place a number of restrictions on the design of suitable security protocols. As a result, new protocols have been proposed, intended especially for wireless applications. Several of these protocols have been found to have significant weaknesses. Formal verification is an essential step to increase confidence in security protocols. This paper discusses different approaches to formal verification. As an example the formal verification of a security protocol for wireless communication demonstrated by using a modal logic.

AB - Wireless communications place a number of restrictions on the design of suitable security protocols. As a result, new protocols have been proposed, intended especially for wireless applications. Several of these protocols have been found to have significant weaknesses. Formal verification is an essential step to increase confidence in security protocols. This paper discusses different approaches to formal verification. As an example the formal verification of a security protocol for wireless communication demonstrated by using a modal logic.

KW - Authentication

KW - Mobile security

KW - Protocol verification

KW - Security protocols

KW - Verification logics

UR - http://www.scopus.com/inward/record.url?scp=1642319729&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:1642319729

SN - 1932415165

T3 - Proceedings of the International Conference on Security and Management

SP - 637

EP - 643

BT - Proceedings of the International Conference on Security and Management, SAM 2003

A2 - Arabnia, H.R.

A2 - Mun, Y.

A2 - Arabnia, H.R.

A2 - Mun, Y.

T2 - Proceedings of the International Conference on Security and Management, SAM 2003

Y2 - 23 June 2004 through 26 June 2004

ER -

On different approaches to establish the security of cryptographic protocols

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this