Claim Missing Document
Check
Articles

Found 13 Documents
Search

Formal Verification for WiMAX Networks Using Enhanced Security Protocols Afrizal Zein; Lubis, Julianto
Journal of Science Technology (JoSTec) Vol. 5 No. 1 (2023): Journal of Science Technology (JoSTec)
Publisher : PT Inovasi Pratama Internasional

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55299/jostec.v5i1.763

Abstract

This study discusses the formal verification of the Worldwide Interoperability for Microwave Access (WiMAX) security protocol. WiMAX security specifications are defined as a security property that must be met by the protocol in a WiMAX network. The security properties that must be met include pseudonymity, information confidentiality, anti-tapping and session key secrecy. Several studies have found several failures to comply with the security properties set by the WiMAX IEEE 802.16-2004 and IEEE 802.16e-2005 standards. Some of the attacks that can occur include jamming, scrambling, DoS attacks, replay attacks, modification of management messages, downgrade attacks, interleaving attacks and other types of security attacks. From some of these attacks there are several solutions to improve security protocols to overcome these attacks so that they can comply with security protocols. Proof of security protocols in the ability to fulfill security properties can be done either formally or informally. The security protocol operational semantic model framework developed by Cas Cremers and Sjouke Mauw is used to carry out formal verification of proposed improvements to the authentication protocol and Privacy and Key Management (PKM) protocol. Modeling the proposed protocol with an operational semantic framework has been able to prove the proposed improvement of the authentication protocol and PKM by using timestamps, SS/BS identity encryption and adding digital signatures or message digest values ​​to ensure authentication is able to meet the specified security properties.
Implementation of Service Oriented Architecture in Mobile Applications to Improve System Flexibility, Interoperability, and Scalability Afrizal Zein
Journal of Information System, Technology and Engineering Vol. 2 No. 1 (2024): JISTE
Publisher : Yayasan Gema Bina Nusantara

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.61487/jiste.v2i1.60

Abstract

This research aims to apply Service Oriented Architecture (SOA) to mobile applications to improve the flexibility, interoperability, and scalability of the system. SOA is an approach that enables better integration between different components in an application architecture. Mobile applications, as an integral part of everyday life, require high flexibility and adaptability to changing user needs. The research method used involves application requirements analysis, SOA architecture design, and implementation on an existing mobile application. Through the implementation of SOA, resource management and service distribution become more efficient, making it easy to add or change features without affecting the entire system. Test results show improved application performance and responsiveness, along with the ability to easily integrate services from multiple sources. In addition, the SOA architecture provides flexibility in the development and maintenance of mobile applications, accelerating the development process and minimizing the impact of changes. This research contributes to the development of mobile applications by introducing the SOA approach as an architectural foundation. The implementation of SOA in mobile applications is expected to guide developers in creating systems that are more resilient, adaptive, and easy to integrate with rapidly evolving software environments.
Design of an Artificial Intelligence Based Recommendation System to Improve User Experience On E-Commerce Platforms Afrizal Zein
Journal of Science Technology (JoSTec) Vol. 6 No. 2 (2024): Journal of Science Technology (JoSTec)
Publisher : PT Inovasi Pratama Internasional

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.55299/jostec.v6i2.979

Abstract

The objective of this research is to explore the design and development of an artificial intelligence-based recommendation system to enhance user experience on e-commerce platforms. The research methodology employed is qualitative research, a method used to gain in-depth understanding of social phenomena. The chosen type of research is a literature review, where in the researcher collects, studies, and analyzes written references or sources such as books, journals, articles, documents, and other significant sources of information related to the researched topic or title. Subsequently, the researcher analyzes and draws conclusions to find answers to the research questions. The research findings indicate that the development of an artificial intelligence-based recommendation system for improving user experience on e-commerce platforms is a relevant and pressing step. By comprehending various aspects discussed in the literature, the researcher can design a system that is not only accurate and efficient but also ethical, secure, and aligned with user needs. For future researchers, further studies are needed, and practical implementation steps will be crucial to translate literature findings into tangible solutions that can enhance the e-commerce landscape in the future.