프로그램별 pda.sf.net

Pda는 보안 프로토콜의 파생 접근 방식에 대한 도구 지원을 제공합니다. 프로토콜, 모델, 보안 속성은 그래픽 사용자 인터페이스를 통해 입력됩니다. Pda는 프로토콜 및 모델의 개선과 증분 정확성 증명을 지원합니다.