Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 1

Teora de juego aplicada al anlisis de redes inalmbricas (wireless)

Reynaldo J. Ramrez S. 2011-0557

Resumen
Los juegos que se analizaran en esta revisin terica consisten en la transmitir informacin a
travs de una red, de un destino a otro utilizando nodos. Este tema es de vital importancia para
cualquier tipo de comunicacin inalmbrica que utilice el Internet, comunicacin militar o
respuesta de emergencia. Los conceptos bsicos de teora de juegos que estaremos utilizando son
jugadores, utilidad, costo, juegos de suma cero, juegas de no suma cero, juegos repetidos, juegos
de informacin completa, juegos cooperativos, juegos no cooperativos, equilibrio de Nash,
juegos dinmicos, juegos finitos, juegos infinitos. Basndonos en dos juegos que son: juego de
una sola etapa y dilema del mensajero.
Sin embargo entendemos an queda mucho que hacer utilizando teora de juegos en reas
especficas como evitar la adquisicin por terceros de nodos ajenos a travs de mtodos ilegales.
As mismo en cuanto al model establecido por Agah & Das (2007) es para N jugadores lo cual
es un avance en conjunto con los juegos repetidos infinitos porque pueden modelar la realidad de
las redes de manera ms eficiente.
Finalmente, es importante sealar que an pueden existir modelos ms complejos para analizar
redes inalmbricas que interactan de manera ms directa con los hackers.

Palabras clave: teora de juego, redes inalmbricas, wireless, juego de una sola etapa, dilema
del mensajero.









Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 2


INTRODUCCIN
Los juegos analizados consisten en la transmisin de informacin a travs de una
red, el objetivo fundamental de la red ser transmitir informacin desde un destino a otro
destino, utilizando nodos, los cuales seran los mensajeros, estos mensajeros tendrn
remuneraciones, energa y la opcin de enviar o descartar. Cada jugador desea maximizar
su utilidad, la cual ser definida ms adelante para cada juego (Reddy et Srivathsan,
2009)
Este tema es de vital importancia para cualquier tipo de comunicacin
inalmbrica que utilice el Internet, comunicacin militar o respuesta de emergencia (Yan,
et al. 2010). Partiendo de este punto el objetivo principal de este trabajo es familiarizar al
lector con las utilidades que puede brindar la teora de juegos al anlisis de redes de
comunicacin inalmbrica. Los conceptos bsicos de teora de juegos que estaremos
utilizando son jugadores, utilidad, costo, juegos de suma cero, juegas de no suma cero,
juegos repetidos, juegos de informacin completa, juegos cooperativos, juegos no
cooperativos, equilibrio de Nash, juegos dinmicos, juegos finitos, juegos infinitos.
Algunos de estos conceptos quedan definidos a continuacin:
Equilibrio de Nash
Un jugador juega su mejor jugada dado que el otro jugador tambin jugo la mejor
jugada, con mejor jugada nos referimos a la jugada ms conveniente de manera
individual y el equilibrio de Nash sera el perfil estratgico formado por esas jugadas
(Yan et al. 2010)
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 3


Juegos de informacin completa
Son juegos en los cuales los jugadores poseen todos las mismas informaciones
(Felegyhazi & Haubaux 2006).
Juegos dinmicos
Son juegos en los cuales los jugadores juegan en orden secuencial implicando que
la jugada de uno afecta la jugada del otro o su decisin (Felegyhazi & Haubaux 2006)
Juegos repetidos
Son juegos en el cual un mismo juego se juega varias veces, estos son un
subconjunto de los juegos dinmicos (Felegyhazi & Haubaux 2006)
Juegos de suma cero
Son juegos en los cuales los jugadores no pueden aumentar su utilidad sin afectar
el beneficio de los otros jugadores, de lo contrario, son juegos de no suma cero
(Felegyhazi & Haubaux 2006)
Juegos cooperativos
Son juegos en los cuales los jugadores pueden tener un acuerdo al momento en
que jugarn (Felegyhazi & Haubaux 2006).


Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 4


Juegos no cooperativos
Son juegos en los cuales los jugadores toman decisiones solamente basados en su
beneficio personal (Felegyhazi & Haubaux 2006)
Juegos finitos
Son juegos repetidos que se jugarn una cantidad finita de veces.
Juegos infinitos
Son juegos repetidos en los cuales no se sabe cundo terminar o estn afectados
por una posibilidad de terminar.
Routers
Son aparatos cuya funcin principal consiste en enviar o encaminar paquetes
1
de
datos de una red a otra.
Terminales
Son dispositivos encargados de enviar y recibir informacin.
Redes ad hoc
Una red ad hoc inalmbrica es un tipo de red inalmbrica descentralizada. La red
es ad hoc porque no depende de una infraestructura pre-existente, como routers (en redes
cableadas) o de puntos de accesos en redes inalmbricas administradas.

1
El concepto de paquetes se refiere a conjuntos de informacin
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 5


En esta revisin terica nos basaremos en el anlisis de Dilema del Mensajero y
juego de una sola etapa, Ataque DoS y redes inalmbricas con sensores. Este trabajo
busca la comprensin de cualquier lector con conocimientos bsicos de teora de juego.













Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 6


DESARROLLO
Redes inalmbricas ad hoc
Yan et al. (2010), sostienen que en redes ad hoc los nodos son routers y terminales, es
decir, reciben y envan informacin y por ende deben cooperar entre s. La finalidad de los nodos
es enviar paquetes que le son transmitidos y tambin enviar sus propios paquetes, la limitante
impuesta en el problema es que cada nodo tiene una cantidad de energa y procesamiento
limitados. Un nodo egosta entonces sera el nodo ideal ya que enva su informacin pero permite
la perdida de informacin de los otros. Esto podra causar un problema de tragedia de comunes,
donde cada nodo permite la perdida de informacin de otros nodos, enva su informacin y
mientras todos maximizan su utilidad, rompen el ideal principal de la red, el cual es transmitir
informacin ms all de la vecindad de cada nodo.
En el pasado se ha demostrado que la no cooperacin de los nodos puede causar el
deterioro de una red y para contrastarlo han surgido dos esquemas: los esquemas basados en
confianza que utilizan algn tipo de reputacin para identificar que nodo es de confianza o los
esquemas basados en precio, donde los nodos interactan utilizando algn tipo de moneda. A
pesar de estos trabajos, no se ha abundado lo suficiente con respecto a esos esquemas en las
redes ad hoc inalmbricas.
Juego de una sola etapa
Informacin:
Jugadores: 2 nodos, X y Z
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 7


Jugadas: Enviar, Descartar
Remuneraciones: X obtendr una remuneracin R por influenciar a Z a enviar sus
paquetes, mientras que Z consumir energa E para completar l envi y viceversa.
Este juego ser bi-direccional, lo que implicar que mientras X transmite para Z, Z debe
transmitir para X. Cada nodo juegan simultneamente. Este juego puede ser representado por la
matriz:




El equilibrio de Nash ser (Descartar, Descartar) con remuneraciones (0,0) lo cual va en
contra de la idea de la red. Para asemejar este juego ms a la realidad es necesario modelarlo a
travs de juegos repetidos y as poder obtener cooperacin y alcanzar el objetivo de la red, enviar
informacin.
Utilizando conceptos de juegos repetidos infinitos para tratar de encontrar un equilibrio
tendremos

donde n es igual a infinito en este caso, es el factor de descuento, es

la remuneracin asociada un jugador especifico. Con las premisas de que siempre y



Z
Enviar Descartar
X
Enviar (R-E,R-E) (-E,R)
Descartar (R,-E) (0,0)

Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 8


Definamos estrategia cooperante: Un nodo enviar siempre y cuando el otro jugador
envi, si el otro descarta o ha descartado, continuara descartando para siempre.
t-3 t-2 t-1 t t+1 t+2 t+3
A coopera
siempre R-E R-E R-E R-E R-E R-E R-E
A coopera y
desvia R-E R-E R-E R 0 0 0

Luego tenemos

( ) (

) (

para el
caso donde A y B ambos juegan (Cooperante, Cooperante). Si A coopera pero decide desviarse
bajo (Cooperante, Cooperante) obtendr (en comparacin con A coopera siempre)

Luego

para cualquier y . Para poder verlo, utilizamos Python 3.3 y

ejecutamos una sumatoria con 10,000 iteraciones, los resultados quedan expresados en la
siguiente tabla:




Adems, esto se cumple para el jugador Z tambin y tenemos que (Cooperante,
Cooperante) es un equilibrio. Si los nodos cooperan la red podr mover la informacin la cual es
la razn fundamental de los nodos.
R=10 R=10
E=0.99 E=0.01
delta=0.99 delta=0.99
Sumatoria 891.98999 989.0099

Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 9


As mismo es interesante destacar que esto es una situacin con suposiciones iniciales
que pueden no ser ciertas para todos los tipos de redes inalmbricas que puedan existir. Hay
muchas ms variables que deben ser tomadas en cuenta, por ejemplo, ataques pueden ser hechos
a los nodos de forma que forc a un nodo a no cooperar y deban introducirse mtodos para
revivir la cooperacin (Yan et al. 2010)
Otras redes
Existen otras redes como las Wireless Sensor Networks que consisten en una cantidad de
nodos dispuestos en un rea especfica para monitorearla. Estas redes poseen caractersticas
interesantes que pueden ser tomadas en cuenta como la cooperacin contra ataques por parte de
terceros que adquieran poder sobre un nodo, donde al igual que mencionbamos antes, utilicen
un sistema donde crean una red de nodos confiables debido a como se han comportado antes.
Este tipo de redes puede tambin ser modelado por Teora de Juegos (Reddy y Srivathsan, 2009)
Dilema del Mensajero
Felegyhazi, M. & Haubaux, J. P. (2006) analizan este juego con equilibrio de dominancia
iterada. El juego consta de dos jugadores, llamados

(cada uno es un nodo). Estos quieren

enviar un paquete a destino 1 y destino 2 respectivamente, cada uno utilizando al otro nodo como
puente. Las acciones de cada uno son Enviar o Descartar.
Si

enva el paquete a travs de

, le cuesta a

un valor 0 < C < < 1, lo cual

pudisemos considerar en trminos de energa y viceversa para p2. Este juego es simtrico y no
es de suma cero, puede ser representado por la siguiente matriz 2x2
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 10



P2
Enviar Descartar
P1
Enviar (1-C, 1-C) (-C, 1)
Descartar (1,-C) (0,0)

La solucin a travs de dominancia iterada es el Equilibrio de Nash (Descartar,
Descartar) con (0,0) pero en este caso a diferencia de la mayora de aplicaciones, aqu realmente
no se maximizan los objetivos de los jugadores, ya que ambos a pesar de que desean ahorrar
energa, tambin desean enviar el paquete o informacin, este es el principio fundamental de las
redes.
Ataque DoS (Denial of Service)
Agah & Das (2007) analizan una forma de prever DoS en redes inalmbricas con
sensores. En estas redes los sensores funcionan como un verificador que se mantiene
monitoreando los eventos en el sistema y los analiza para encontrar cualquier problema de
seguridad. Con los conocimientos planteados anterior al trabajo de Agah & Das (2007) an
queda abierta la necesidad de modelar el ataque y la respuesta en este tipo de red.
El problema consta de los personajes siguientes: nodos, verificador Los nodos podrn
cooperar o descartar, el verificador podr atrapar o no atrapar. El propsito es enviar informacin
a travs de la red, aislar a los nodos que no cooperan y poder seguir enviando y recibiendo
informacin de manera exitosa a travs de los nodos cooperadores.
La idea propuesta en Agah & Das (2007) fomenta la cooperacin entre los nodos y
provee un mtodo para castigar a los nodos que se comportan de manera no cooperativa. La llave
de este problema est en los recursos que utilizan los nodos para trabajar y la vida de la red, si
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 11


los nodos no cooperan con la vida de la red, entonces tampoco podrn lograr sus objetivos
individuales (enviar paquetes).
El verificador monitorear los nodos, los nodos podrn crear reputacin cuando obtienen
ganancias, la reputacin ser establecida por el verificador para cada nodo. Por cada transaccin
tendremos una remuneracin para cada nodo, la suma de todas las remuneraciones de ese nodo
durante todo el juego ser su utilidad total. El juego se juega infinitas veces y se supone
racionalidad entre los jugadores y para cada nodo los pagos iniciales tendrn ms pesos que los
pagos finales. Llamaremos accin normal cuando un nodo coopera y maliciosa cuando no
coopera. El verificador siempre querr encontrar los nodos que son maliciosos, pero depender
de que tan bien pueda detectarlos, esto implicar falsos positivos, falsos negativos asociados a
probabilidades. El verificador tendr remuneraciones diferentes para cada uno de los siguientes
casos: (No atrapar, Normal) (Atrapar, Normal) (No atrapar, Malicioso) (Atrapar, Malicioso)
donde (Atrapar, Malicioso) ser l que provea ms remuneracin para el verificador.
El verificador incrementar la reputacin de los nodos en intervalos de tiempo. En cierto
momento enviar una seal para verificar la ruta, cada nodo entonces enviar su reputacin local
(la cual consiste en su reputacin previa dada por el verificador) menos el costo y se pondrn en
la ruta, luego lo enva a sus vecinos, a excepcin de los vecinos que hayan ya recibido este
mensaje. Si un nodo es el destino final o tiene la ruta hacia el destino, entonces no enva el
mensaje verificador sino que enva un mensaje que contiene toda la ruta y la utilidad total. Luego
de que el mensaje inicial enviado por el verificador alcanza su destino final, entonces este enva
de las rutas recibidas, la que tiene la reputacin ms alta, la cual se supone que debe contener los
nodos con ms alta reputacin, el mensaje utilizar esta misma ruta para volver al verificador,
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 12


luego el verificador aumenta la reputacin de los nodos en la ruta y enva un mensaje a cada
nodo con las reputaciones actualizadas. Lo interesante de estas interacciones es que por ser un
juego repetido se consta con un historial de los juegos previos y se van eliminando las rutas con
nodos maliciosos y permite que la ruta con menos nodos maliciosos sea la ruta ganadora, lo cual
aislara los nodos maliciosos.
Agah & Das (2007) pudieron concluir a travs de simulaciones que a mayor cantidad de
nodos, el porcentaje de nodos maliciosos detectado ir disminuyendo ya que el verificador querr
maximizar su utilidad y tendr que reducir la cantidad de falsos positivos y falsos negativos lo
que conlleva a eventualmente a no atrapar a nodos maliciosos.
Otros ataques de rendes inalmbricas con verificador
Ya hemos visto una buena cantidad de informacin pertinente a las redes y a los nodos,
introducimos con Agah & Das (2007) las redes que incluyen un verificador. Anlisis de redes
con verificador son muy tiles ya que toman en cuenta redes con un cierto control por parte de
quien los despliega en un rea especfica.
Reddy & Srivathsan (2009) destacan que las redes de este tipo son las ideales para el
monitoreo de ambientes sensibles y peligrosos. En este caso las redes consistiran en cientos de
miles de nodos mviles que seran dispuestos en un rea concreta. Estas redes deben ser
autnomas y deben ser capaces de adaptarse a cambios en tiempo real.
Es posible plantear un juego ataque-defensa de 2 jugadores, juego de no suma cero, no
cooperativo que evoluciona hacia un equilibrio de Nash, lo que permite una defensa de la red y
aumentan las posibilidades de encontrar intrusos en la red (Reddy & Srivathsan 2009)
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 13


Reddy & Srivathsan (2009) sealan algunos ataques posibles son:
Sybil attack: consiste en crear pseudo identidades (jugadores falsos) dentro de la
red para corromper el funcionamiento de la red. Estas pseudo identidades se utilizarn para ganar
influencia en la red. Una solucin para esto es crear un certificado de identidad para cada
identidad de los nodos pertenecientes a la red.
Ataque de Gusano: nodos maliciosos descartan paquetes de manera aleatoria, los
envan hacia otra red para luego retransmitirlos. Esto permite que nodos que no se encuentran en
la locacin de los nodos originales retransmitan informacin y se crean escenarios con
informacin falsos. Una solucin es agregar un nodo especial que detecte la locacin de cada
nodo.

Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 14


CONCLUSIONES
Agah & Das (2007) destacan como hacer segura una red a travs de juegos repetidos
utilizando teora de juegos. Estos autores presentan un factor fundamental debido a que las
interacciones entre nodos en una red son continuos, es decir, hacen una cantidad casi infinita de
interacciones mientras ambos usuarios (que controlan los nodos) estn interactuando a travs de
una red. Felegyhazi, M. & Haubaux, J. P. (2006) tambin destacan el hecho de que hay paquetes
que pueden ser descartados dependiendo de la situacin actual y especfica del usuario y un
nodo, por ejemplo, un usuario que este visualizando una pelcula en lnea querr tener la menor
perdida de paquetes. Mientras que si alguien est editando fotos, ser irrelevante algn paquete
que se pierde en FACEBOOK relacionado con pixeles de la pgina.
An faltan muchos avances, aunque l model establecido por Agah & Das (2007) es
para N jugadores lo cual es un avance en conjunto con los juegos repetidos infinitos porque
pueden modelar la realidad de las redes de manera ms eficiente.
Finalmente, es importante sealar que an pueden existir modelos ms complejos para
analizar redes inalmbricas que interactan de manera ms directa con los hackers
2
.


2
Hacker, se refiere a las personas que se dedican a descubrir las debilidades de las redes informticas; aunque
tambin, puede aplicarse tambin a alguien con un conocimiento avanzado de computadoras y de redes informticas
Encabezado: Teora de juego aplicada al anlisis de redes inalmbricas (wireless) 15


REFERENCIAS
Agah, A. & Das, S. K. (2007). Preventing DoS Attacks in Wireless Sensor Networks: A
Repeated Game Theory Approach. International Journal of Network Security, 5 (2), 145-153
Felegyhazi, M. & Haubaux, J. P. (2006). Game Theory in Wireless Networks: A Tutorial. EPFL
Technical report, 1-15
Reddy, Y. B. & Srivathsan, S. (2009). Game Theory Model for Selective Forward Attacks in
Wireless Sensor Networks. 17th Mediterranean Conference on Control & Automation
Makedonia Palace, Thessaloniki, Greece , 978-1-4244-4685-8
Yan, L., Hailes, S. & Capra L. (2010). Analysis of packet relaying models and incentive
strategies in wireless ad hoc networks with game theory, 22nd International Conference on
Advanced Information Networking and Applications. University College London, Dept. of
Computer Science