Formal verification of bundle authentication mechanism in OSGi service platform: BAN Logic

Young G. Kim, Chang J. Moon, Dong W. Jeong, Doo Kwon Baik

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Security is critical in a home gateway environment. Robust secure mechanisms must he put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism. We designed the exchange mechanism for transferring a shared secret key. This transports a service bundle safely in the bootstrapping step, by recognizing and initializing various components. In this paper, we propose a bundle authentication mechanism based on a MAC that uses a shared secret key created in the bootstrapping step. In addition, we verify the safety of the key exchange mechanism and bundle authentication mechanism using BAN Logic. From the verified result, we achieved goals of authentication. That is, the operator can trust the bundle provided by the service provider. The user who uses the service gateway can also express trust and use the bundle provided by the operator.

Original languageEnglish
Pages (from-to)153-173
Number of pages21
JournalInternational Journal of Software Engineering and Knowledge Engineering
Volume16
Issue number2
DOIs
Publication statusPublished - 2006 Apr 1

Fingerprint

Authentication
Formal verification

Keywords

  • Authentication
  • BAN logic
  • MAC (message authentication code)
  • OSGI

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Graphics and Computer-Aided Design
  • Software
  • Electrical and Electronic Engineering

Cite this

Formal verification of bundle authentication mechanism in OSGi service platform : BAN Logic. / Kim, Young G.; Moon, Chang J.; Jeong, Dong W.; Baik, Doo Kwon.

In: International Journal of Software Engineering and Knowledge Engineering, Vol. 16, No. 2, 01.04.2006, p. 153-173.

Research output: Contribution to journalArticle

@article{0baba1142c614e86905986153b336764,
title = "Formal verification of bundle authentication mechanism in OSGi service platform: BAN Logic",
abstract = "Security is critical in a home gateway environment. Robust secure mechanisms must he put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism. We designed the exchange mechanism for transferring a shared secret key. This transports a service bundle safely in the bootstrapping step, by recognizing and initializing various components. In this paper, we propose a bundle authentication mechanism based on a MAC that uses a shared secret key created in the bootstrapping step. In addition, we verify the safety of the key exchange mechanism and bundle authentication mechanism using BAN Logic. From the verified result, we achieved goals of authentication. That is, the operator can trust the bundle provided by the service provider. The user who uses the service gateway can also express trust and use the bundle provided by the operator.",
keywords = "Authentication, BAN logic, MAC (message authentication code), OSGI",
author = "Kim, {Young G.} and Moon, {Chang J.} and Jeong, {Dong W.} and Baik, {Doo Kwon}",
year = "2006",
month = "4",
day = "1",
doi = "10.1142/S0218194006002793",
language = "English",
volume = "16",
pages = "153--173",
journal = "International Journal of Software Engineering and Knowledge Engineering",
issn = "0218-1940",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "2",

}

TY - JOUR

T1 - Formal verification of bundle authentication mechanism in OSGi service platform

T2 - BAN Logic

AU - Kim, Young G.

AU - Moon, Chang J.

AU - Jeong, Dong W.

AU - Baik, Doo Kwon

PY - 2006/4/1

Y1 - 2006/4/1

N2 - Security is critical in a home gateway environment. Robust secure mechanisms must he put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism. We designed the exchange mechanism for transferring a shared secret key. This transports a service bundle safely in the bootstrapping step, by recognizing and initializing various components. In this paper, we propose a bundle authentication mechanism based on a MAC that uses a shared secret key created in the bootstrapping step. In addition, we verify the safety of the key exchange mechanism and bundle authentication mechanism using BAN Logic. From the verified result, we achieved goals of authentication. That is, the operator can trust the bundle provided by the service provider. The user who uses the service gateway can also express trust and use the bundle provided by the operator.

AB - Security is critical in a home gateway environment. Robust secure mechanisms must he put in place for protecting information transferred through a central location. In considering characteristics for the home gateway environment, this paper proposes a bundle authentication mechanism. We designed the exchange mechanism for transferring a shared secret key. This transports a service bundle safely in the bootstrapping step, by recognizing and initializing various components. In this paper, we propose a bundle authentication mechanism based on a MAC that uses a shared secret key created in the bootstrapping step. In addition, we verify the safety of the key exchange mechanism and bundle authentication mechanism using BAN Logic. From the verified result, we achieved goals of authentication. That is, the operator can trust the bundle provided by the service provider. The user who uses the service gateway can also express trust and use the bundle provided by the operator.

KW - Authentication

KW - BAN logic

KW - MAC (message authentication code)

KW - OSGI

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

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

U2 - 10.1142/S0218194006002793

DO - 10.1142/S0218194006002793

M3 - Article

AN - SCOPUS:33646427708

VL - 16

SP - 153

EP - 173

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

SN - 0218-1940

IS - 2

ER -