Chương trình theo pda.sf.net
-
PDA - The Protocol Derivation Assistant Miễn phí
Pda cung cấp hỗ trợ công cụ cho cách tiếp cận bắt nguồn của các giao thức bảo mật. Giao thức, mô hình, thuộc tính bảo mật được nhập thông qua giao diện người dùng đồ họa. Pda hỗ trợ sàng lọc các giao thức và mô hình của chúng