Analysis and modification of ASK mobile security protocol

Il Gon Kim; Hyun Seok Kim; Ji Yeon Lee; Jin Young Choi

doi:10.1109/WMCS.2005.4

Analysis and modification of ASK mobile security protocol

Il Gon Kim, Hyun Seok Kim, Ji Yeon Lee, Jin Young Choi

School of Cybersecurity

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

5 Citations (Scopus)

Abstract

Generally, security protocols have been designed and verified using informal techniques. In the result, it is now well recognized that many security protocols which were previously proposed have found to be vulnerable later on. In this paper, we model and verify of the ASK protocol, which is a complicated mobile security protocol. After showing the vulnerability of the ASK protocol using formal verification approach, we propose a modification, and then show that the new protocol is secure against replay attack.

Original language	English
Title of host publication	Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05
Pages	79-83
Number of pages	5
DOIs	https://doi.org/10.1109/WMCS.2005.4
Publication status	Published - 2005

Publication series

Name	Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05
Volume	2005

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1109/WMCS.2005.4

Cite this

Kim, I. G., Kim, H. S., Lee, J. Y., & Choi, J. Y. (2005). Analysis and modification of ASK mobile security protocol. In Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05 (pp. 79-83). [1581579] (Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05; Vol. 2005). https://doi.org/10.1109/WMCS.2005.4

Analysis and modification of ASK mobile security protocol. / Kim, Il Gon; Kim, Hyun Seok; Lee, Ji Yeon et al.

Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05. 2005. p. 79-83 1581579 (Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05; Vol. 2005).

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

@inproceedings{a4d7c7bb727947f6b72235c8794a3c78,

title = "Analysis and modification of ASK mobile security protocol",

abstract = "Generally, security protocols have been designed and verified using informal techniques. In the result, it is now well recognized that many security protocols which were previously proposed have found to be vulnerable later on. In this paper, we model and verify of the ASK protocol, which is a complicated mobile security protocol. After showing the vulnerability of the ASK protocol using formal verification approach, we propose a modification, and then show that the new protocol is secure against replay attack.",

author = "Kim, {Il Gon} and Kim, {Hyun Seok} and Lee, {Ji Yeon} and Choi, {Jin Young}",

year = "2005",

doi = "10.1109/WMCS.2005.4",

language = "English",

isbn = "0769523919",

series = "Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05",

pages = "79--83",

booktitle = "Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05",

}

TY - GEN

T1 - Analysis and modification of ASK mobile security protocol

AU - Kim, Il Gon

AU - Kim, Hyun Seok

AU - Lee, Ji Yeon

AU - Choi, Jin Young

PY - 2005

Y1 - 2005

N2 - Generally, security protocols have been designed and verified using informal techniques. In the result, it is now well recognized that many security protocols which were previously proposed have found to be vulnerable later on. In this paper, we model and verify of the ASK protocol, which is a complicated mobile security protocol. After showing the vulnerability of the ASK protocol using formal verification approach, we propose a modification, and then show that the new protocol is secure against replay attack.

AB - Generally, security protocols have been designed and verified using informal techniques. In the result, it is now well recognized that many security protocols which were previously proposed have found to be vulnerable later on. In this paper, we model and verify of the ASK protocol, which is a complicated mobile security protocol. After showing the vulnerability of the ASK protocol using formal verification approach, we propose a modification, and then show that the new protocol is secure against replay attack.

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

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

U2 - 10.1109/WMCS.2005.4

DO - 10.1109/WMCS.2005.4

M3 - Conference contribution

AN - SCOPUS:33744903731

SN - 0769523919

SN - 9780769523910

T3 - Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05

SP - 79

EP - 83

BT - Proceedings - 2005 Second IEEE International Workshop on Mobile Commerce and Services, WMCS'05

ER -

Analysis and modification of ASK mobile security protocol

Abstract

Publication series

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this