Verifying a MAC-Based Service Bundle Authentication Mechanism for the OSGi Service Platform

2004 ◽  
pp. 684-689 ◽  
Author(s):  
Young-Gab Kim ◽  
Dongwon Jeong ◽  
Doo-Kwon Baik
Keyword(s):  
Service Platform ◽  
Authentication Mechanism ◽  
Bundle Authentication

FORMAL VERIFICATION OF BUNDLE AUTHENTICATION MECHANISM IN OSGi SERVICE PLATFORM: BAN LOGIC

2006 ◽  
Vol 16 (02) ◽  
pp. 153-173 ◽  
Author(s):  
YOUNG-GAB KIM ◽  
CHANG-JOO MOON ◽  
DONGWON JEONG ◽  
DOO-KWON BAIK
Keyword(s):  
Formal Verification ◽  
Service Provider ◽  
Exchange Mechanism ◽  
Ban Logic ◽  
Secret Key ◽  
Home Gateway ◽  
Authentication Mechanism ◽  
Shared Secret ◽  
Bundle Authentication ◽  
Shared Secret Key

Security is critical in a home gateway environment. Robust secure mechanisms must be 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.

Multimedia system and database simulation based on internet of things and cloud service platform

2020 ◽  
pp. 1-12
Author(s):  
Zhang Caiqian ◽  
Zhang Xincheng
Keyword(s):  
Internet Of Things ◽  
Cloud Service ◽  
Multimedia System ◽  
The Internet ◽  
Multimedia Database ◽  
Cloud Platform ◽  
Service Platform ◽  
Device Management ◽  
Cloud Service Platform ◽  
The Internet Of Things

The existing stand-alone multimedia machines and online multimedia machines in the market have certain deficiencies, so they cannot meet the actual needs. Based on this, this research combines the actual needs to design and implement a multi-media system based on the Internet of Things and cloud service platform. Moreover, through in-depth research on the MQTT protocol, this study proposes a message encryption verification scheme for the MQTT protocol, which can solve the problem of low message security in the Internet of Things communication to a certain extent. In addition, through research on the fusion technology of the Internet of Things and artificial intelligence, this research designs scheme to provide a LightGBM intelligent prediction module interface, MQTT message middleware, device management system, intelligent prediction and push interface for the cloud platform. Finally, this research completes the design and implementation of the cloud platform and tests the function and performance of the built multimedia system database. The research results show that the multimedia database constructed in this paper has good performance.

Web Service Implementation in Logistics Company uses JSON Web Token and RC4 Cryptography Algorithm

2020 ◽  
Vol 4 (3) ◽  
pp. 591-600
Author(s):  
Mochammad Rizky Royani ◽  
Arief Wibowo
Keyword(s):  
Web Service ◽  
Data Storage ◽  
Growth Potential ◽  
Easy Access ◽  
Access Time ◽  
Mobile Platforms ◽  
Logistics Service ◽  
Authentication Mechanism ◽  
Cryptographic Algorithm ◽  
Service Application

The development of e-commerce in Indonesia in the last five years has significantly increased the growth for logistics service companies. The Indonesian Logistics and Forwarders Association (ALFI) has predicted the growth potential of the logistics business in Indonesia to reach more than 30% by 2020. One of the efforts of logistics business companies to improve services in the logistics services business competition is to implement web service technology on mobile platforms, to easy access to services for customers. This research aims to build a web service with a RESTful approach. The REST architecture has limitations in the form of no authentication mechanism, so users can access and modify data. To improve its services, JSON Web Token (JWT) technology is needed in the authentication process and security of access rights. In terms of data storage and transmission security, a cryptographic algorithm is also needed to encrypt and maintain confidentiality in the database. RC4 algorithm is a cryptographic algorithm that is famous for its speed in the encoding process. RC4 encryption results are processed with the Base64 Algorithm so that encrypted messages can be stored in a database. The combination of the RC4 method with the Base64 method has strengthened aspects of database security. This research resulted in a prototype application that was built with a combination of web service methods, JWT and cryptographic techniques. The test results show that the web service application at the logistics service company that was created can run well with relatively fast access time, which is an average of 176 ms. With this access time, the process of managing data and information becomes more efficient because before making this application the process of handling a transaction takes up to 20 minutes.

Sign in / Sign up

Export Citation Format

Share Document