Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. PDA - The Protocol Derivation Assistant

PDA - The Protocol Derivation Assistant

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

Pda menyediakan sokongan alat untuk pendekatan terbitan protokol keselamatan. Protokol, model, sifat keselamatan dimasukkan melalui antara muka pengguna grafik. Pda menyokong perhalusi protokol dan model mereka dan bukti ketepatan tambahan.

sejarah versi

  • Versi N/A diposkan pada 2011-08-09
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-09

Butiran Atur Cara

Atur Cara Berkaitan

  • KwikBASIC BASIC Interpreter Percuma

    KwikBASIC adalah jurubahasa ASAS yang ditulis dalam FreeBASIC dan mengikuti dengan teliti syntax FreeBASIC.

  • UniboStreamingProject Percuma

    Ini adalah aplikasi Penstriman Pelayan Pelanggan yang menyokong penstriman audio multicast menggunakan RTP / RTCP dan penstriman audio-video atas permintaan menggunakan RTSP. Ia menyokong dasar pengimbangan beban dan pemuliha

  • FluxWin Percuma

    FluxWin adalah pelabuhan FluxBox untuk platform Cygwin /XFree86. Saya telah mengambil sumber FluxBox dan menggodam bahagian-bahagian yang tidak akan menyusun di bawah Cygwin. Versi kerja terkini ialah 0.0.1 berdasarkan Fluxbo

  • ctInstaller Suite Percuma

    Atur cara/pencipta persediaan mudah. Semua data persediaan disimpan sebagai fail exe-files (boleh dibuka semula) Fail/Data dimampatkan. Tiada fail sementara semasa komponen persediaan dan operasi persediaan adalah berasaskan

  • Remote Installer Starter Percuma

    Alat audit perisian ini untuk rangkaian tempatan membolehkan mengumpul data pada aplikasi yang dipasang pada PC jauh. Maklumat yang dikumpul disimpan dalam pangkalan data dan boleh digunakan untuk menjana laporan inventori pe

  • chrootbin Percuma

    Chrootbin adalah alat yang akan membantu anda membuat asas persekitaran kroot. Ia membolehkan anda melangkau bahagian-bahagian yang membosankan membuat kroot dari awal. Ia juga membantu anda memasang sebarang laksana lain sep

  • NSClient for Nagios Percuma

    Ejen pemantauan NSClient untuk pelayan Windows untuk digunakan dalam rangka kerja pemantauan Nagios.

  • sockthread Percuma

    SockThread adalah pelaksanaan soket multithreaded. Ia terbina dalam dengan pelayan echo untuk sambungan telnet. Ia pada mulanya ditulis dengan perpustakaan C/C++ asli standard. C ++ kelas std::benang dan API soket C & lt;

  • Like-C compiler Percuma

    Like-C compiler adalah aplikasi kecil, mudah digunakan yang direka untuk berguna kepada pengguna yang ingin mengetahui kerja-kerja kompiler, seperti analisis leksikal, analisis tatabahasa, analisis semantik dan susunan pelaks

  • Drupal Video Tutorial | Drupal Video Tut Percuma

    Tutorial Video Langkah Demi Langkah Mendedahkan Rahsia Pintasan Bagaimana Untuk Menakluk Drupal Dengan Cepat Dan Mudah.http://www.drupaltutorials.org/index.php