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

Young G. Kim, Dongwon Jeong, Doo Kwon Baik

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)684-689
Number of pages6
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3129
Publication statusPublished - 2004 Dec 1

Fingerprint

OSGi
Authentication
Bundle
Safety
Key Exchange
Bootstrapping
Gateway
Logic
Verify

ASJC Scopus subject areas

  • Biochemistry, Genetics and Molecular Biology(all)
  • Computer Science(all)
  • Theoretical Computer Science

Cite this

@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 G.} and Dongwon Jeong and Baik, {Doo Kwon}",
year = "2004",
month = "12",
day = "1",
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 G.

AU - Jeong, Dongwon

AU - Baik, Doo Kwon

PY - 2004/12/1

Y1 - 2004/12/1

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

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

M3 - Article

AN - SCOPUS:33644983426

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)

SN - 0302-9743

ER -