Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
Karya tulis ini membahas konsep dan rancangan sistem transaksi elektronik untuk kampus atau administrasi universitas, yang bersifat aman, terbuka, dan terotentikasi. sistem transaksi elektronik terbuka (open electronic transaction system) memungkinkan suatu transaksi elektronik dilakukan melalui jaringan komputer publik (public computer network), oleh karena itu masalah keamanan (security) terutama masalah privacy dari pihak-pihak yang bertransaksi menjadi sangat penting, demikian pula dengan masalah otentikasi (authentication). Tulisan ini mengusulkan penggunaan kartu mahasiswa sebagai alat untuk memperoleh berbagai fasilitas yang ditawarkan oleh institusi yang ada di lingkungan universitas, misalnya registrasi administrasi, registrasi akademik, perpustakaan, bank, dan laboratorium. Kartu mahasiswa tersebut menggunakan smart card, yaitu kartu yang memiliki chip yang memiliki kemampuan untuk menyimpan informasi dan kemampuan security. Penggunaan smart card yang dipadukan dengan teknik-teknik cryptography, protocol design, dsb. dapat memberikan solusi alternatif untuk memecahkan masalah keamanan (security) dan otentikasi (authentication) pada sistem yang terbuka (open). Peningkatan layanan kepada mahasiswa, kemudahan penegakan tertib administrasi oleh pihak universitas kepada mahasiswa, konlrol akses penggunaan fasilitas, dan penggunaan digital signature untuk berbagai dokumen elektronik adalah beberapa nilai tambah yang dapat diperoleh dari implementasi sistem yang diusulkan.

Abstrak :
Teori komposisi komponen adalah dasar dari modularitas dalam pengembangan dan verifikasi perangkat lunak. Teori ini terutama digunakan untuk memberikan justifikasi formal untuk konsistensi kerja komponen-komponen yang mudah dipakai ulan (reusable). Hambatan terbesar dalam menyusun bukti formasil untuk komponen seperti itu adalah konsistensi perilakku temporal yang berhubungan dengan kemajuan (progress) sulit dijaga dalam konteks sistem terdistribusi atau paralel. Teori yang ada sifatnya terlalu umum dan tidak memberikan petunjuk yang jelas bagaimana cata memberikan batasan (constraint) kepada lingkungan (environment) sebuah komponen untuk menjadi konsistensi perilaku komponen tersebut di dalam sistem. Teori yang dikembangkan disini bersifat lebih terbatas dan sebagai imbalannya diperoleh hasil yang lebih kuat sehingga pada prakteknya akan lebih bermanfaat. Teroi ini merupakan pengembangan lebih lanjut dari teori serupa yang didasarkan pada mutulan exclusion. Walaupun dengan mutual exclusion bisa didapatkan hasil yang lebih kuat, banyak sistem di lapangan yang sikronisasinya tidak menganut prinsip ini. Contohnya sistem basis data terdistribusi. Versi yagn diberikan disini diharapkan bermanfaat untuk domain penerapan yang lebih luas.

Abstrak :
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan. Framework yang ada cenderung berfokus pada mekanisasi dari sebuah logika saja dan ini menurut pengalaman kami kurang memuaskan untuk membangun sistem dengan multi logika. Dalam tulisan ini kami memberikan sebuah framework alternatif yang diharapkan lebih cocok untuk keperluan tersebut.