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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kim, Y.-G., Moon, C.-J., Park, D.-H., Baik, D.-K.: A MAC-based Service Bundle Authentication Mechanism in the OSGi Service Platform. In: Lee, Y., Li, J., Whang, K.-Y., Lee, D. (eds.) DASFAA 2004. LNCS, vol. 2973, pp. 137–145. Springer, Heidelberg (2004)
Kim, Y.-G., Moon, C.-J., Park, D.-H., Baik, D.-K.: A Service Bundle Authentication Mechanism in the OSGi Service Platform. In: AINA 2004, March 2004, pp. 420–425. IEEE Computer Society, Los Alamitos (2004)
Clark, J., Jacob, J.: A Surbey of Authentication Protocol Literature: Version 1.0, University of York, Department of Computer Science (November 1997)
Stallings, W.: Cryptography and Network Security, Pearson Education (2002)
Branchaud, M.: A Survey of Public Key Infrastructures, Department of Computer Science, McGill University, Montreal (1997)
OSGi, Secure Provisioning Data Transport using Http, RFC36, http://www.osgi.org/ (2002)
OSGi, OSGi Service Gateway Specification - Release 3.0, http://www.osgi.org (2003)
Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. Digital Equipment Corporation (1989)
Wessels, J.: Cmg Finance B.V. Applications of BAN-Logic (2001)
Coluouris, G., et al.: Distributed System, 2nd edn. (1994)
Rubin, A.D., Honeyman, P.: Formal Methods for the Analysis of Authentication Protocols, CITI Technical Report 93-7 (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, YG., Jeong, D., Baik, DK. (2004). Verifying a MAC-Based Service Bundle Authentication Mechanism for the OSGi Service Platform. In: Li, Q., Wang, G., Feng, L. (eds) Advances in Web-Age Information Management. WAIM 2004. Lecture Notes in Computer Science, vol 3129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27772-9_73
Download citation
DOI: https://doi.org/10.1007/978-3-540-27772-9_73
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22418-1
Online ISBN: 978-3-540-27772-9
eBook Packages: Springer Book Archive