Skip to content
  • Tentang IOS
  • Join Us
  • Hubungi Kami
  • Organisasi Mitra
  • Akun Anda
  • Keluar
  • Masuk
  • Bahasa Indonesia
    • Bahasa Indonesia
    • English
Lanjutan
  • CSP code for verification of v...
  • Preview
  • Koleksi Nasional
  • Sitasi Cantuman
  • Kirim via Email
  • Ekspor Cantuman
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Favorit
Cover Image

CSP code for verification of vVote e-voting system

Tersimpan di:
Main Author: Moran, Murat
Format: Dataset
Terbitan: Mendeley , 2017
Subjects:
Computer Science
Computer Security
Model Checking
Security Protocol
Information Privacy
Model Verification
Online Access: https:/data.mendeley.com/datasets/kd6prht9h5
  • Lokasi
  • Deskripsi
  • Daftar Isi
  • Preview
  • Tampilan Petugas

Lihat Juga

  • Operational Semantics and Verification of Security Protocols
    oleh: SpringerLink (Online service), et al.
  • ENHANCEMENT OF CLOUD RESOURCES SECURITY USING VERIFICATION CODE
    oleh: Madamidola Olugbenga, et al.
    Terbitan: (2017)
  • Cyber Security and PrivacyThird Cyber Security and Privacy EU Forum, CSP Forum 2014, Athens, Greece, May 21-22, 2014, Revised Selected Papers
    oleh: SpringerLink (Online service), et al.
  • Embedded System Design: Modeling, Synthesis and Verification
    oleh: Gajski, Daniel D.
    Terbitan: (2013)
  • Security, Privacy and Trust in Cloud Systems
    oleh: SpringerLink (Online service), et al.

Opsi Pencarian

  • Sejarah Pencarian
  • Pencarian Lanjut

Temukan Lebih Banyak

  • Penelusuran Katalog
  • Penelusuran Alfabetis

Butuh Bantuan?

  • Tips Pencarian
  • Admin
  • Hubungi Kami
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...