Claim Missing Document
Check
Articles

Found 4 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.
IMPLEMENTASI CLOUD COMPUTING TERHADAP APLIKASI PEMESANAN PARKIR DI KOTA JAKARTA Muhamad Ramadhani Alfarizi; Hanum Putri Permatasari
UG Journal Vol 16, No 5 (2022)
Publisher : Universitas Gunadarma

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

Abstract

Parkiran merupakan salah satu aspek penting dalam kehidupan bertransportasi di kota Jakarta karena transportasi yang terus berkembang dari waktu ke waktu. Namun, perkembangan transportasi ini tidak diimbangi dengan ketersediaan lahan parkir yang memadai. Oleh karena itu, dibuatlah aplikasi pemesanan parkir berbasis android “G-Parking” yang bertujuan agar memenuhi kebutuhan masyarakat dalam mencari lahan parkir di kota Jakarta. Aplikasi ini dibuat dengan menggunakan android studio dengan bahasa pemrograman kotlin. Aplikasi ini juga diimplementasikan dengan Google Cloud Platform sebagai layanan cloud computing yang digunakan. Tujuan dari diimplementasikannya cloud computing ini adalah agar data pada aplikasi dapat berjalan secara realtime tanpa menggunakan sebuah perangkat keras. Hal ini dapat menghemat biaya pembuatan dan operasional dari aplikasi. keduanya dibuat dan diintegerasikan menggunakan metode Software Development Life Cycle (SDLC). Berikutnya dilakukan pengujian dengan metode black-box testing untuk menguji segala fungsi yang telah dibuat. Selanjutnya dilakukan pengujian User Acceptance Tested (UAT) untuk mengetahui apakah aplikasi sudah memenuhi kebutuhan dan telah layak digunakan. Hasil yang didapat adalah aplikasi ini dapat berjalan dengan baik.
RANCANGAN DAN IMPLEMENTASI APLIKASI SEWA LAPANGAN BADMINTON WILAYAH DEPOK BERBASIS WEB Agung Noviantoro; Amelia Belinda Silviana; Risma Rahmalia Fitriani; Hanum Putri Permatasari
Jurnal Teknik dan Science Vol. 1 No. 2 (2022): Juni : Jurnal Teknik dan Science
Publisher : Asosiasi Dosen Muda Indonesia

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (561.689 KB) | DOI: 10.56127/jts.v1i2.108

Abstract

Aktivitas olahraga saat ini merupakan salah satu kegiatan menyalurkan hobi. Salah satu olahraga yang banyak digemari terutama oleh masyarakat di Indonesia adalah Badminton. Olahraga badminton dirasa cukup efisien karena tidak membutuhkan banyak peralatan. Lapangan yang digunakan untuk bermain badminton juga sudah banyak jasa penyewaannya. Kegiatan sewa lapangan saat ini dilakukan secara manual di banyak GOR sehingga dinilai kurang efisien karena penyewa harus datang ke tempat untuk dapat menyewa, dan jika lapangan sudah penuh (full booked) maka penyewa pulang dengan tangan hampa. Seiring berkembangnya teknologi , banyak kegiatan yang dilakukan secara digital agar menjadi lebih efisien. Oleh karena itu, penulis merancang Aplikasi Sewa Lapangan Badminton Berbasis Web. Rancangan aplikasi ini diharapkan dapat diimplementasikan ke depannya menggunakan metode penelitian System Life Cycle Development (SDLC) dalam pembuatannya. Website tersebut telah berhasil dibuat berdasarkan rancangan yang telah dibuat. Kemudian, pengujian dengan menggunakan metode Black-Box Testing. Hasil penelitian yang didapat bahwa aplikasi ini dapat berjalan dengan baik dan layak digunakan.
PEMBUATAN WEBSITE KOSAN DAN KONTRAKAN WILAYAH BOGOR Nadira Raihanah; Hanum Putri Permatasari; Amelia Belinda Silviana
UG Journal Vol 16, No 11 (2022)
Publisher : Universitas Gunadarma

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

Abstract

Memulai sebuah usaha penyewaan kamar khususnya di tengah pandemi COVID-19 bukanlah hal yang mudah. Pemasaran menjadi tidak mudah, serta pihak penghuni juga kesulitan untuk melakukan survei karena terbatas oleh social distancing. Tujuan dibuatnya penulisan ini adalah membuat website resmi Rumah LIDIA yang dapat digunakan sebagai wadah untuk menyampaikan informasi mengenai Rumah LIDIA dan melakukan promosi serta memudahkan bagi para calon penghuni kamar untuk melakukan pemesanan kamar. Penelitian ini menggunakan beberapa tahapan yang mengacu pada metode Waterfall. Website Rumah LIDIA telah berhasil dibuat dan dapat diakses melalui alamat web https://rumahlidia.masuk.id/. Web ini telah melalui tahap uji coba, mulai dari uji coba pengaksesan semua halaman website, uji coba menggunakan web browser yang berbeda, hingga uji coba menggunakan metode blackbox testing. Berdasarkan hasil pengujian yang telah dilaksanakan, didapatkan hasil yang sesuai harapan dimana semua halaman dan fungsi-fungsi pada website Rumah LIDIA berjalan dengan baik dan tidak ada kendala.