SPAN puede ser utilizado en tres modos diferentes:
- Simulador de protocolos: puede simular protocolos mediante MSC a partir de un código HLPSL.
- Simulador de intrusos: permite simular un protocolo con un intruso pasivo o activo.
- Simulador de ataques: a partir de las salidas de OFMC o CL-ATSE (otras herramientas del proyecto AVISPA).
Instalación
La instalación es muy sencilla, para usuarios de Linux y Mac solo es necesario tener instalado Tcl/Tk 8.5, luego descargar el programa SPAN aqui y descomprimir (por ejemplo en: /usr/bob/span). Por último, definir dos variables de entorno: SPAN y AVISPA_PACKAGE, para esto abrimos un terminal y escribimos:
export SPAN=/usr/bob/span export AVISPA_PACKAGE=/usr/bob/span
Teniendo en cuenta que /usr/bob/span es la ruta donde se descomprimió SPAN. El programa se ejecuta como cualquier otro script, solamente se debe escribir en un terminal:
./span
Si has descomprimido SPAN en una carpeta en el directorio de tu usuario, por ejemplo en /home/mi_usuario/span/, lo que sucederá es que cada vez que inicies tu máquina tendrás que realizar el procedimiento anterior. Para evitar esto, se puede hacer un pequeño y sencillo script en bash, para ello, creamos un fichero de texto llamado “iniciar”, lo podemos hacer con algún editor de texto como gedit o kate, o bien por medio de línea de comando con vi o nano. Por línea de comandos, se abre un terminal y nos dirigimos a la ruta donde hemos descomprimido SPAN (/home/mi_usuario/span/), escribimos:
cd /home/mi_usuario/span/ # ir a la carpeta nano iniciar # se crea un fichero de nombre iniciar
Luego, escribimos dentro del fichero lo siguiente:
#! /bin/bash export SPAN=/home/mi_usuario/span/ export AVISPA_PACKAGE=/home/mi_usuario/span/ ./span exit
Para salir del editor se presiona CTRL+X y el editor preguntará si se desea guardar los cambio, a lo que se responde que si. Ahora, lo único que falta es darle permisos de ejecución al fichero, entonces escribimos:
chmod +x iniciar
Se prueba escribiendo:
./iniciar
Y listo!
Referencias
- Y. Glouche, T. Genet, O. Heen and O. Courtay A Security Protocol Animator Tool for AVISPA. In ARTIST2 Workshop on Security Specification and Verification of Embedded Systems , pp. 15, Pisa, May 2006.
- http://www.irisa.fr/celtique/genet/span/
