Claim Missing Document
Check
Articles

Found 3 Documents
Search

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.
ANALISIS WEBSITE YAYASAN AMIL ZAKAT TERHADAP NIAT MEMBAYAR ZAKAT DENGAN PENDEKATAN TECHNOLOGY ACCEPTANCE MODEL (TAM) Sukoraharjo, Wahab; Pardede, D. Lucia Crispina
Jurnal Ilmiah Informatika Komputer Vol 23, No 1 (2018)
Publisher : Universitas Gunadarma

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.35760/ik.2018.v23i1.2062

Abstract

Pertumbuhan teknologi informasi dimanfaatkan yayasan amil zakat untuk menghimpun dana zakat dengan menggunakan website sebagai sistem informasi. Penggunaan website dengan internet sebagai media diharapkan dapat memudahkan para aghiya (hartawan). Namun demikian, pada kenyatannya fasilitas ini tidak sepenuhnya dapat digunakan oleh masyarakat Indonesia. Masyarakat Indonesia masih menyukai bertemu langsung dengan amil zakat dikarenakan berbagai faktor yang akan mempengaruhi keputusan masyarakat dalam membayar zakat. Penelitian ini dilakukan untuk mengetahui hubungan antara variabel kegunaan, kemudahan, sikap pengguna terhadap website dan niat membayar zakat. Pendekatan yang digunakan dalam penelitian ini adalah Technology Acceptance Model (TAM) dengan objek tiga website yayasan amil zakat yaitu laznasbsm.or.id, dompetdhuafa.org dan rumahzakat.org. Sampel diambil menggunakan teknik purposive sampling dengan jumlah responden sebanyak 70 orang dimana pengumpulan data diperoleh menggunakan kuesioner. Hasil penelitian dengan menggunakan metode perhitungan korelasi Pearson menunjukkan adanya pengaruh kemudahan terhadap kegunaan sebesar 0.684, kemudahan terhadap sikap pengguna sebesar 0.594, kegunaan terhadap sikap pengguna sebesar 0.434, sikap pengguna terhadap niat sebesar 0.478, dan kegunaan terhadap niat sebesar 0.371 berdasarkan rata - rata dari ketiga website tersebut.
Penentuan Jarak Karakter Pemain dengan Karakter Bukan Pemain yang Harus Mengikuti Pemain pada Pengembangan Game Simulasi Mitigasi Bencana Erupsi Gunung Widowati, Henny; Widhowati, Rachma Putri; Puspitodjati, Sulistyo; Pardede, D.L. Crispina
Jurnal Teknologi Informasi dan Ilmu Komputer Vol 7 No 2: April 2020
Publisher : Fakultas Ilmu Komputer, Universitas Brawijaya

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.25126/jtiik.2020702633

Abstract

Game simulasi sering melibatkan karakter pemain (player character) dan karakter bukan pemain (non player character) (KBP/NPC), sebagaimana pada game simulasi mitigasi bencana erupsi gunung yang sedang dikembangkan. Salah satu bentuk interaksi antara karakter pemain dengan KBP adalah KBP harus mengikuti karakter pemain. Pemrograman agar KBP mengikuti pemain, perlu menentukan jarak sejauh apa sehingga KBP secara otomatis mengikuti pemain. Penentuan jarak antara karakter pemain dengan KBP  menjadi bahasan dalam makalah ini. Jarak dihitung secara matematis menggunakan konsep pitagoras, dan dengan pertimbangan estetika visual. Salah satu unsur visual yang dipertimbangkan adalah bentuk, baik KBP maupun bentuk karakter pemain. Jarak yang merupakan hasil perhitungan digunakan sebagai batasan untuk menganimasi (menggerakkan) KBP mengikuti karakter pemain. Animasi KBP, yaitu karakter berupa sapi dan manusia mengikuti pemain adalah bagian dari pengembangan game simulasi mitigasi bencana erupsi gunung berapi. Pengujian dengan membuat karakter pemain dan collider yang ada pada KBP bertumbukan atau bersentuhan berhasil membuat KBP bisa mengikuti karakter pemain sesuai dengan jarak yang ditentukan, dan berhasil mencapai tujuan. AbstractSimulation games often involve player characters and non-player characters (NPC), as in the mountain eruption disaster mitigation simulation game developed. One form of interaction between player characters and NPC is that NPC must follow the player character. Programming so that NPC follows players requires determining the distance so that NPC automatically follows the player. Determination of the distance between player characters (players) and non-player character objects (NPC) is discussed in this paper. The distance is measured mathematically using the pythagorean concept and visual aesthetics consideration. One visual element considered is the shape, both NPC and the player's own shape. The resulting distance is used as boundary to animate (move) NPC following the player's character. NPC's animation: the character of cows and humans following players is part of the development of mitigation simulation games for volcanic eruptions. The test, by making the player character and the collider on the NPC collide,  succeeded in making the NPC follows the player character according to the specified distance, and succeeded in achieving the goal.