Article Per Year (5 Year)
p-Index From 2021 - 2026
1.325
P-Index
This Author published in this journals
All Journal Jurnal Ilmiah Informatika Komputer Prosiding KOMMIT Jurnal Pekommas The Asian Journal of Technology Management (AJTM) Jurnal Ilmiah KOMPUTASI ILKOM Jurnal Ilmiah Aptisi Transactions on Technopreneurship (ATT) Journal Psikogenesis Journal of Computer Science, Information Technology and Telecommunication Engineering (JCoSITTE)
Avinanta Tarigan Avinanta Tarigan
Universitas Gunadarma
Humanities Computer Science & IT Control & Systems Engineering Decision Sciences, Operations Research & Management Economics, Econometrics & Finance Education Electrical & Electronics Engineering Environmental Science Languange, Linguistic, Communication & Media Public Health Social Sciences

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

Found 2 Documents
Search
Journal : Prosiding KOMMIT

 1 
PROTOKOL AUTENTIKASI BERBASISONE TIME PASSWPORD UNTUK BANYAK ENTITAS Avinanta Tarigan 1 Avinanta Tarigan, Avinanta Tarigan
Prosiding KOMMIT 2012
Publisher : Prosiding KOMMIT

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

One-time-password (OTP) adalah salah satu metodeautentikasi yang aman untuk duaentitas, tetapimenjadi tidak efisien ketika diterapkan kepada banyak entitas. Beberapa penelitian telah menghasilkan protokol autentikasi berbasis OTP yang efisien, tetapi verifikasi formal tidak dilakukan sehinggatidak diketahui adanya kelemahan dalam protokol tersebut. Penelitian ini menghasilkan sebuah protokol autentikasi berbasis OTPyang lebih efisien dan dapat digunakan untuk proses autentikasi banyak entitas.Dengan menggunakan3 (tiga) langkah autentikasi dan tanpa menggunakan kriptografi yangmemerlukan daya komputasi tinggi, autentikasi antara entitas dapat tercapai. Protokolini diverifikasi secara formal untuk membuktikan keamanan dan tidak adanya kelemahan dalam protokol tersebut.
ANALISIS DAN VERIFIKASI FORMAL PROTOKOL NON-REPUDIASI ZHANG-SHI DENGAN LOGIKA SVO-CP Permatasari, Hanum Putri; Tarigan, Avinanta; Pardede, D. Lucia Crispina
Prosiding KOMMIT 2012
Publisher : Prosiding KOMMIT

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Protokol non-repudiasi adalah protokolkeamananyang memberikan layanan Non-Repudiation of Origin (NRO) dan Non-Repudiation of Receipt(NRR). Protokol non repudiasi yang memenuhi kedualayanan tersebut tanpa memberi keuntungan lebih kepada satu prinsipal daripadaprinsipal lainmerupakan protokolyangmemenuhiaspek fairness. Protokol [Zhang and  Shi, 1996]  adalah protokol yang seharusnya mengamankan transaksi elektronik dalam konteks non-repudiasi. Berdasarkan penelitian terdahulu mengenai verifikasi protokolnon-repudiasi ZS dengan metode formal logika [Coffey and Saidha, 1997]yang dilakukan oleh [Ventuneac, 2004]menunjukkan bahwa hasil verifikasi protokol tidakdapat digunakan untuk menguji ketercapaian tujuan akhir (goal) serta tidak mengujifairness. Tujuan utama dari penelitian ini adalah melakukan analisis dan verifikasi formal terhadap protokolnon-repudiasi Zhang-Shi dengan menggunakan logika SVO-CP untuk mengetahui kehandalan protokol tersebut dalammemenuhi sifat non-repudiasi, yaitu NRO, NRR, dan fairness. Prosedur penelitian dilakukan dalam empat tahap dan hasil menunjukan bahwa protokol non-repudiasi Zhang-Shi mencapai kebenaran semua tujuannya (NRO dan NRR) serta penerapan logika SVO-CP kepada verifikasi protokol non-repudiasi Zhang-Shi menunjukkan protokol tersebut mencapaifairness.
Co-Authors Achmad Benny Mutiara Betta Wahyu Retna Mulya D. Lucia Crispina Pardede Hanum Putri Permatasari Herry Sussanto Intaglia Harsanti Konradus, Natalia Lely Prananingrum M. Noor Rochman Hadjam Muhammad Fadhil Abidin nfn Ramlan Oktiana, Milda Safrila Ravi Dharmawan Ravi Dharmawan Retna Mulya, Betta Wahyu Riya Widayanti Setyawan, Aris Budi Siswadi, Anneke Annassia Putri