Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform

Young Gab Kim; Dongwon Jeong; Doo Kwon Baik

doi:10.1007/978-3-540-27772-9_73

Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform

Young Gab Kim, Dongwon Jeong, Doo Kwon Baik

* Honorary professors

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

In this paper, we propose a service bundle authentication mechanism considering characteristics for the home gateway environment. We also designed the key exchange mechanism for exchanging a key in bootstrapping step. Furthermore we verify the safety of the key exchange mechanism and service bundle authentication mechanism with BAN Logic. Through the verification, we are able to show that the result does not compromise the security of the proposed service bundle authentication mechanism.

Original language	English
Pages (from-to)	684-689
Number of pages	6
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3129
DOIs	https://doi.org/10.1007/978-3-540-27772-9_73
Publication status	Published - 2004

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-27772-9_73

Cite this

Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform. / Kim, Young Gab; Jeong, Dongwon; Baik, Doo Kwon.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3129, 2004, p. 684-689.

Research output: Contribution to journal › Article › peer-review

@article{9b5eb187581e44b48952d5d8bf9f64e6,

title = "Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform",

abstract = "In this paper, we propose a service bundle authentication mechanism considering characteristics for the home gateway environment. We also designed the key exchange mechanism for exchanging a key in bootstrapping step. Furthermore we verify the safety of the key exchange mechanism and service bundle authentication mechanism with BAN Logic. Through the verification, we are able to show that the result does not compromise the security of the proposed service bundle authentication mechanism.",

author = "Kim, {Young Gab} and Dongwon Jeong and Baik, {Doo Kwon}",

year = "2004",

doi = "10.1007/978-3-540-27772-9_73",

language = "English",

volume = "3129",

pages = "684--689",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform

AU - Kim, Young Gab

AU - Jeong, Dongwon

AU - Baik, Doo Kwon

PY - 2004

Y1 - 2004

N2 - In this paper, we propose a service bundle authentication mechanism considering characteristics for the home gateway environment. We also designed the key exchange mechanism for exchanging a key in bootstrapping step. Furthermore we verify the safety of the key exchange mechanism and service bundle authentication mechanism with BAN Logic. Through the verification, we are able to show that the result does not compromise the security of the proposed service bundle authentication mechanism.

AB - In this paper, we propose a service bundle authentication mechanism considering characteristics for the home gateway environment. We also designed the key exchange mechanism for exchanging a key in bootstrapping step. Furthermore we verify the safety of the key exchange mechanism and service bundle authentication mechanism with BAN Logic. Through the verification, we are able to show that the result does not compromise the security of the proposed service bundle authentication mechanism.

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

U2 - 10.1007/978-3-540-27772-9_73

DO - 10.1007/978-3-540-27772-9_73

M3 - Article

AN - SCOPUS:33644983426

SN - 0302-9743

VL - 3129

SP - 684

EP - 689

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

Verifying a MAC-based service bundle authentication mechanism for the OSGi service platform

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this