tamarin-prover

El repositorio del probador Tamarin Este README describe la organización del repositorio del probador Tamarin para la verificación de protocolos de seguridad. Su público objetivo son los usuarios interesados y los futuros desarrolladores del probador Tamarin. Para obtener instrucciones de...