Security Protocol Animator (SPAN) es una herramienta libre de verificación para protocolos criptográficos que ayuda en la búsqueda y caracterización de ataques. La principal ventaja de esta aplicación es que permite usar diferentes técnicas de verificación a un mismo protocolo. Se puede decir que es una interfaz gráfica para el manejo de HLPSL (High-Level Protocol Specification Language) y CAS+ (una implementación del Protocolo de Autenticación Central), que permite la traducción entre estos lenguajes y además brinda una interfaz gráfica más amigable al usuario. SPAN ayuda a producir de manera interactiva secuencias de mensajes o MSC (Message Sequence Charts).

Esta herramienta se utiliza para la simulación de protocolo criptográficos, permite la simulación de intrusos de manera activa o pasiva, la construcción automática de ataques a los protocolos diseñados. La edición del protocolo se puede realiza mediante HLPSL o CAS+, teniendo la posibilidad de realizar conversiones entre dichos lenguajes. Algunas características de la interfaz gráfica se muestran en la Figura # 1.

Figura # 1: Descripción de la interfaz gráfica de SPAN.

Algunos estudios muestran que más del 50% de las llamadas de voz y el 70% del tráfico de datos proviene de interiores [1], las llamadas de voz no requieren grandes anchos de banda, pero si ciertos parámetros de calidad que garantice el reconocimiento de la voz por el usuario en el otro extremo de la comunicación, por el contrario, el tráfico de datos requiere altas tazas de transmisión para poder enviar información con gran cantidad de megabytes, como las aplicaciones multimedia lo requieren, por mencionar un ejemplo. Una forma de garantizar altas tazas de transmisión en sistemas de radio, consiste en poder mantener una alta calidad de la señal en ambos extremos de la comunicación, y por lo tanto, mitigar los efectos de las pérdidas e interferencias que pueda tener el canal de comunicación.

En este contexto, los operadores han impulsado la implementación de femto-celdas para disminuir la distancia con el UE y poder mantener una buena calidad de la señal. Sin embargo, las femto-celdas deben operar en la banda de frecuencias designadas para dicha comunicación y coincidir con las frecuencias asignadas al operador, desde esta perspectiva, las femto-celdas generarán interferencias y estas se pueden dar de las siguientes maneras [2]:

• Femto-celda a femto-celda.
• Femto-celda a macro-celda
• Macro-celda a femto-celda.

Los problemas de la interferencias entre femto-celdas radica en la cobertura que cada una de éstas tenga, este tipo de interferencia se producirá principalmente en los límites de cobertura donde interaccionan las femto-celdas, en la Figura # 1 se puede observar este fenómeno, en la cual la cobertura del FAP 1 se solapa con la del FAP 2, produciendo degradación de la señal para los usuarios de ambas femto-celdas en esa zona.

Figura # 1. Problemas de interferencia entre macro/femto celdas.

Presentación de los resultados

La forma en que los resultados de una investigación se presenta tiene un impacto importante hacia las personas a las que va dirigidas, además, que una buena manera de representar la información brinda a los lectores ideas claras y fáciles de entender. Para esto, es necesario una selección de herramientas que permitan la reproducción de la documentación, fotografías, gráficos y demás elementos asociados. Por otro lado, también existen una serie de aplicaciones que facilitan el procesamiento de los datos obtenidos como resultado de una investigación, ya sean matemáticos o de red.