[ES]Este proyecto tiene por objetivo modelar el funcionamiento de un protocolo de seguridad llamado EURORADIO. Este protocolo forma parte de la pila de protocolos del est andard actual del sistema de se~nalizaci on europeo ...