Descrição
Projetos de protocolos de segurança podem ser verificados com modelos de análise simbólica. É para pesquisadores e engenheiros de segurança que testam autenticação e fluxos de mensagens criptográficas antes da implantação.
FICHA · AUR
scyther
Análise simbólica de protocolos de segurança
- security protocol analyzer
- Interface gráfica
- SECURITY-ANALYSIS
- PROTOCOLS
- Abre direto
codex · reviewed · 4 de jun. de 2026 descrição em
pt-br · fallback Como rodar
scyther
Comandos: scyther
Permissões
Permissões ainda não analisadas para esta fonte.