Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. ProVerif Editor

ProVerif Editor 0.2

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.0/5 - ‎2 ‎Suara
Download

Editor untuk mengedit dan memeriksa protokol yang ditentukan dalam SPI-calculus menggunakan ProVerif.

Riwayat versi

  • Versi 0.2 diposting di 2010-01-08
    Beberapa perbaikan dan pembaruan
  • Versi 0.2 diposting di 2010-01-08

Detil Program

Program Terkait

  • Child Computer Time Out Uji Coba Gratis

    Jika Anda khawatir anak Anda mungkin menghabiskan terlalu banyak waktu online atau bermain game - atau Anda tidak ingin dia menggunakan PC Anda ketika Anda tertidur atau jauh dari rumah - jenis perangkat lunak ini menawarkan

  • Cloud Online Backup Uji Coba Gratis

    Cloudonlinebackup adalah solusi cepat yang mudah dan aman untuk pencadangan online. Ini menjaga semua transfer aman dan terenkripsi, berjalan di latar belakang dan memastikan bahwa kehilangan data tidak ada bahaya. Versi file

  • Hackademic Challenges Gratis

    Hackademic Challenges adalah proyek open source yang membantu Anda menguji pengetahuan Anda tentang keamanan aplikasi web. Anda dapat menggunakannya untuk benar-benar menyerang aplikasi web dalam lingkungan yang realistis tet

  • Internet History Washer Uji Coba Gratis

    Cara Mudah Membersihkan Jejak Berselancar InternetTidak ada yang akan pernah tahu:- Situs apa yang Anda kunjungi - Apa yang Anda cari - Kata sandi Anda - Dan untuk mengidentifikasi Anda sebagai pengunjung berulang

  • Fast Windows Hider Uji Coba Gratis

    Fast Windows Hider adalah alat pelindung yang dirancang untuk membantu Anda menyembunyikan jendela (aplikasi) kapan saja. Cukup tekan tombol pintas atau klik ikon. Anda bisa menyembunyikan Internet Explorer atau browser Inter

  • Openwall wordlists collection Uji Coba Gratis

    Koleksi daftar kata yang luas yang dimaksudkan untuk digunakan dengan utilitas pemulihan kata sandi. Termasuk dalam koleksi ini adalah daftar kata untuk 20+ bahasa manusia dan daftar kata sandi umum. Bahasa yang disertakan ad

  • OneNote Password Recovery Uji Coba Gratis

    OneNote Password Recovery adalah program untuk memulihkan kata sandi yang hilang atau terlupakan untuk buku catatan Microsoft OneNote. Kata sandi multibahasa didukung. Semua versi Microsoft OneNote didukung.

  • One Click Privacy Uji Coba Gratis

    Privasi Satu Klik menghapus secara permanen semua aktivitas internet, kata sandi singgahan dan info kartu kredit, log IM, catatan pemutar media, kueri mesin pencari, dan penggunaan aplikasi hanya dengan satu klik! Lindungi je

  • RC4.NET Gratis

    RC4.NET adalah library yang menambahkan dukungan untuk mengenkripsi/mendekripsi menggunakan algoritma simetris RC4 di lingkungan .NET. Perpustakaan ditulis dalam bahasa C#, dan berkinerja sama baiknya pada platform Microsoft

  • Secure File Encryption Program Gratis

    Enkripsi file Open Source, ditulis untuk mempelajari tentang cryptograpy, pemrograman, dll. Dan mudah-mudahan datang dengan beberapa teknik enkripsi baru yang mungkin menguntungkan publik.