Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. PDA - The Protocol Derivation Assistant

PDA - The Protocol Derivation Assistant

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Pda memberikan dukungan alat untuk pendekatan derivasi protokol keamanan. Protokol, model, properti keamanan dimasukkan melalui antarmuka pengguna grafis. Pda mendukung penyempurnaan protokol dan model mereka dan bukti kebenaran inkremental.

Riwayat versi

  • Versi N/A diposting di 2011-08-09
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2011-08-09

Detil Program

Program Terkait

  • KwikBASIC BASIC Interpreter Gratis

    KwikBASIC adalah penerjemah DASAR yang ditulis dalam FreeBASIC dan mengikuti sintaks FreeBASIC.

  • UniboStreamingProject Gratis

    Ini adalah aplikasi Streaming Klien-Server yang mendukung streaming audio multicast menggunakan RTP / RTCP dan streaming audio-video sesuai permintaan menggunakan RTSP. Ini mendukung kebijakan penyeimbangan beban dan pemuliha

  • FluxWin Gratis

    FluxWin adalah port FluxBox untuk platform Cygwin / XFree86. Saya telah mengambil sumber FluxBox dan meretas bagian-bagian yang tidak akan menyusun di bawah Cygwin. Versi kerja terbaru adalah 0.0.1 berdasarkan Fluxbox 0.9.7.

  • ctInstaller Suite Gratis

    Program/kreator penyiapan sederhana. Semua data penyetelan disimpan sebagai file exe (dapat dibuka kembali) File / Data dikompresi. Tidak ada berkas sementara selama pengesetan Komponen dan operasi penyetelan berbasis skrip.

  • Remote Installer Starter Gratis

    Alat audit perangkat lunak ini untuk jaringan lokal memungkinkan pengumpulan data pada aplikasi yang diinstal pada PC jarak jauh. Informasi yang dikumpulkan disimpan dalam database dan dapat digunakan untuk menghasilkan lapor

  • chrootbin Gratis

    Chrootbin adalah alat yang akan membantu Anda membuat lingkungan dasar kroot. Ini memungkinkan Anda melewati bagian yang membosankan membuat kroot dari awal. Ini juga membantu Anda untuk menginstal executables lain seperti st

  • NSClient for Nagios Gratis

    Agen pemantauan NSClient untuk server Windows untuk digunakan dalam kerangka kerja pemantauan Nagios.

  • sockthread Gratis

    SockThread adalah implementasi dari soket multithreaded. Ini dibangun dengan server gema untuk koneksi telnet. Ini awalnya ditulis dengan perpustakaan C / C ++ asli standar. Kelas C++ std::thread dan C socket API <sys/sock

  • Like-C compiler Gratis

    Kompilasi Like-C adalah aplikasi kecil yang mudah digunakan yang dirancang agar berguna bagi pengguna yang ingin mengetahui pekerjaan kompilasi, seperti analisis leksikal, analisis tata bahasa, analisis semantik, dan eksekusi

  • Drupal Video Tutorial | Drupal Video Tut Gratis

    Tutorial Video Langkah Demi Langkah Ungkap Rahasia Pintasan Tentang Cara Menaklukkan Drupal dengan Cepat Dan Mudah.http://www.drupaltutorials.org/index.php