Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. ProVerif Editor

ProVerif Editor 0.2

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 3.0/5 - ‎2 ‎Undi
Muat turun

Editor untuk mengedit dan menyemak protokol yang dinyatakan dalam SPI-kalkulus menggunakan ProVerif.

sejarah versi

  • Versi 0.2 diposkan pada 2010-01-08
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.2 diposkan pada 2010-01-08

Butiran Atur Cara

Atur Cara Berkaitan

  • Child Computer Time Out Percubaan Percuma

    Jika anda bimbang anak anda mungkin menghabiskan terlalu banyak masa dalam talian atau bermain permainan -- atau anda tidak mahu dia / dia menggunakan PC anda apabila anda sama ada tidur atau jauh dari rumah -- jenis perisian

  • Cloud Online Backup Percubaan Percuma

    Cloudonlinebackup adalah penyelesaian yang cepat mudah dan selamat untuk sandaran dalam talian. Ia memastikan semua pemindahan selamat dan disulitkan, berjalan di latar belakang dan memastikan bahawa kehilangan data tidak bah

  • Hackademic Challenges Percuma

    Cabaran Hackademic adalah projek sumber terbuka yang membantu anda menguji pengetahuan anda mengenai keselamatan aplikasi web. Anda boleh menggunakannya untuk benar-benar menyerang aplikasi web dalam persekitaran yang realist

  • Internet History Washer Percubaan Percuma

    Cara Mudah Untuk Membersihkan Kesan Melayari InternetTiada siapa yang akan mengetahui:- Apa laman web yang anda lawati - Apa yang anda cari - Kata laluan anda - Dan untuk mengenal pasti anda sebagai pelawat berulan

  • Fast Windows Hider Percubaan Percuma

    Fast Windows Hider adalah alat pelindung yang direka untuk membantu anda menyembunyikan sebarang tetingkap (aplikasi) pada satu masa. Hanya tekan hotkey atau klik ikon. Anda boleh menyembunyikan Internet Explorer atau pelayar

  • Openwall wordlists collection Percubaan Percuma

    Koleksi yang luas wordlists bertujuan untuk digunakan dengan utiliti pemulihan kata laluan. Termasuk dalam koleksi ini adalah wordlists untuk 20 + bahasa manusia dan senarai kata laluan biasa. Bahasa yang dimasukkan adalah: A

  • OneNote Password Recovery Percubaan Percuma

    OneNote Password Recovery adalah program untuk memulihkan kata laluan yang hilang atau terlupa untuk buku nota Microsoft OneNote. Kata laluan berbilang bahasa disokong. Semua versi Microsoft OneNote disokong.

  • One Click Privacy Percubaan Percuma

    One Click Privacy memadam semua aktiviti internet secara kekal, kata laluan cached dan maklumat kad kredit, log IM, rekod pemain media, pertanyaan enjin carian dan penggunaan aplikasi dengan hanya satu klik! Tutup trek anda!

  • RC4.NET Percuma

    RC4.NET adalah perpustakaan yang menambah sokongan untuk menyulitkan / menyahsulitkan menggunakan algoritma RC4 siim dalam persekitaran .NET. Perpustakaan ini ditulis dalam bahasa C#, dan melakukan sama baik pada kedua-dua pl

  • Secure File Encryption Program Percuma

    Buka penyulitan fail Sumber, ditulis untuk belajar tentang cryptograpy, pengaturcaraan, dll. Dan mudah-mudahan datang dengan beberapa teknik penyulitan baru yang mungkin memberi manfaat kepada orang ramai.