Pda는 보안 프로토콜의 파생 접근 방식에 대한 도구 지원을 제공합니다. 프로토콜, 모델, 보안 속성은 그래픽 사용자 인터페이스를 통해 입력됩니다. Pda는 프로토콜 및 모델의 개선과 증분 정확성 증명을 지원합니다.
버전 기록
- 버전 N/A 에 게시 2011-08-09
몇 가지 수정 및 업데이트 - 버전 N/A 에 게시 2011-08-09
프로그램 세부 정보
- 범주: 네트워크 및 인터넷 > 다른
- 게시자: pda.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: Array
- 플랫폼: windows