Article Per Year (5 Year)
p-Index From 2021 - 2026
5.356
P-Index
This Author published in this journals
All Journal Jurnal Informasi dan Teknologi Elektriese: Jurnal Sains dan Teknologi Elektro Journal of Science Technology (JoSTec) SAINSTECH: Jurnal Penelitian dan Pengkajian Sains dan Teknologi Engineering and Technology International Journal (EATIJ) Journal of Research and Publication Innovation Jurnal Inovasi Pengabdian Masyarakat Jurnal Ilmu Komputer (JIK) Jitu: Jurnal Informatika Utama Pasundan Community Service Development Spectrum: Multidisciplinary Journal Merkurius: Jurnal Riset Sistem Informasi dan Teknik Informatika
Afrizal Zein
UNIVERSITAS PAMULANG
Religion Aerospace Engineering Agriculture, Biological Sciences & Forestry Automotive Engineering Biochemistry, Genetics & Molecular Biology Chemical Engineering, Chemistry & Bioengineering Civil Engineering, Building, Construction & Architecture Computer Science & IT Control & Systems Engineering Decision Sciences, Operations Research & Management Earth & Planetary Sciences Economics, Econometrics & Finance Education Electrical & Electronics Engineering Energy Engineering Environmental Science Health Professions Industrial & Manufacturing Engineering Languange, Linguistic, Communication & Media Law, Crime, Criminology & Criminal Justice Materials Science & Nanotechnology Mathematics Mechanical Engineering Medicine & Pharmacology Social Sciences Other

Published : 45 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search
Journal : Journal of Science Technology (JoSTec)

 1 
Formal Verification for WiMAX Networks Using Enhanced Security Protocols Afrizal Zein
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.
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.
Co-Authors Alfry Aristo Jansen Sinlae Amsal Nasution, Muhammad Chrisantus Tristianto Dani Saeful Malik Dendy K. Pramudito Dewi Istiqomah Eko Suharyanto Eko Suharyanto Eko Surhayanto Elgiawan Sulistio Emi Sita Emi Sita Eriana Emi Sita Eriana Eriana, Emi Sita Fahrudin, Ndin Farizy, Salman Fikry fitriansyah Fordiana Ekawati Ghema Nusa Persada Hardiansyah Hardiansyah Hartono, Rahmat Hermila A Marwati, Fingki Melinda, Via Muhamad Irsan Firdaus Muhamad Risal Tawil Petrus Sianggian Purba Petrus Sianggian Purba Rini Nuraini, Rini Risah Subariah Risah Subariah Rozali, Christien S.Pettalongi, Sagaf Salman Farizy Sita Eriana, Emi Siwi Anggraeni, Gita Vivi Oktavia Wibisono, Candra Zaenuddin, Imam