PDA - The Protocol Derivation Assistant
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://pda.cvs.sourceforge.net/pda
Tentang PDA - The Protocol Derivation Assistant
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.
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