PDA - The Protocol Derivation Assistant
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://pda.cvs.sourceforge.net/pda
에 대해 PDA - The Protocol Derivation Assistant
Pda는 보안 프로토콜의 파생 접근 방식에 대한 도구 지원을 제공합니다. 프로토콜, 모델, 보안 속성은 그래픽 사용자 인터페이스를 통해 입력됩니다. Pda는 프로토콜 및 모델의 개선과 증분 정확성 증명을 지원합니다.
관련 프로그램
-
KwikBASIC BASIC Interpreter 무료
KwikBASIC은 프리베이직에 쓰여진 기본 통역사이며, 프리베이직 구문을 밀접하게 따릅니다.
-
UniboStreamingProject 무료
이것은 RTP / RTCP를 사용하여 멀티 캐스트 오디오 스트리밍및 RTSP를 사용하여 주문형 오디오 비디오 스트리밍을 지원하는 클라이언트 - 서버 스트리밍 응용 프로그램입니다. 부하 균형 및 재해 복구 정책을 지원합니다.
-
FluxWin 무료
플럭스윈은 시그윈/XFree86 플랫폼을 위한 플럭스박스 포트입니다. 나는 FluxBox 소스를 촬영하고 Cygwin에서 컴파일하지 않을 부품을 해킹했다. 최신 작업 버전은 Fluxbox 0.9.7을 기준으로 0.0.1입니다.
-
ctInstaller Suite 무료
간단한 설정 프로그램/ 크리에이터. 모든 설정 데이터는 exe 파일(다시 열 수 있음)으로 저장됩니다(다시 열 수 있음) 파일/데이터가 압축됩니다. 설정 구성 요소 및 설정 작업 중에 임시 파일이 스크립트 기반이 아닙니다. vb6 프로그램 (msvbvm60.dll 필요) Uninstal용으로 설계
-
Remote Installer Starter 무료
로컬 네트워크를 위한 이 소프트웨어 감사 도구를 사용하면 원격 PC에 설치된 응용 프로그램에서 데이터를 수집할 수 있습니다. 수집된 정보는 데이터베이스에 저장되며 모든 네트워크 컴퓨터에 대한 소프트웨어 인벤토리 보고서를 생성하고 소프트웨어 변경 사항을 추적하는 데 사용할 수 있습니다. 설치된 응용 프로그램의 현재 목록을 이전에 저장된 인벤토리 보고서와 비교하여 모든 PC에 대한 소프트웨어 변경 목록을
-
chrootbin 무료
Chrootbin은 기본 chroot 환경을 만드는 데 도움이되는 도구입니다. 그것은 당신이 처음부터 chroot를 만드는 지루한 부분을 건너 뛸 수 있습니다. 또한 추적이나 찾기와 같은 다른 실행 프로그램을 설치하는 데 도움이 됩니다.
-
NSClient for Nagios 무료
Nagios 모니터링 프레임워크에 사용할 Windows 서버에 대한 NSClient 모니터링 에이전트입니다.
-
sockthread 무료
SockThread는 다중 스레드 소켓의 구현입니다. 텔넷 연결을 위한 에코 서버와 함께 기본 제공됩니다. 처음에는 표준 네이티브 C/C++ 라이브러리로 작성되었습니다. C++ 클래스 std::thread 및 C 소켓 API & sys/socket.h> 사용되었습니다.
-
Like-C compiler 무료
Like-C 컴파일러는 어휘 분석, 문법 분석, 의미 체계 분석 및 가상 컴퓨터의 실행을 스택과 같은 컴파일러의 작업을 알고 싶은 사용자에게 유용하도록 설계된 작고 사용하기 쉬운 응용 프로그램입니다.
-
Drupal Video Tutorial | Drupal Video Tut 무료
단계별 비디오 자습서는 Drupal을 빠르고 쉽게 정복하는 방법에 대한 지름길 비밀을 공개합니다.http://www.drupaltutorials.org/index.php