A casi ya un año de COECYS 2007 llega a mis manos un artículo de un mexicano, Jorge Rodas, que me esbozo una sonrisa con su manera tan particular de escribir. En la columna La puerta, de agosto del año pasado, comenta sobre la realización del Art Tech Day, que con mucho entusiasmo y un poco de locura realizamos, aunque Rodas se lo atribuye a diferencias alimenticias

…Y yo pensando: “seguro ya le afecto el diferente tipo de alimentación entre Chihuahua y Guatemala”.

Sin embargo, tiene razón que se necesita estar un poco loco y atreverse a ser diferente para realizar cosas innovadoras; para romper los esquemas y poder hacer cosas diferentes. Y este es un claro ejemplo no solo de innovación (aunque ni tanta porque ya se venia realizando en otros paises, sin embargo fue la primera en Guatemala) y de vinculación, ya que se conjugan areas, aparentemente poco afines, como las artes y la tecnología. Como mencionamos en la descripción del Art Tech

Siglos atrás, la práctica artística y la práctica técnica no tenían diferencias. Leonardo Da Vinci fue un magnífico magníficoejemplo del desarrollo de ambas disciplinas durante el renacimiento italiano.

Esperemos que la creación de espacios de este tipo, donde se conjugan ramas “diferentes”, se sigan dando y el paso que dimos no sea una marca en el camino, sino que sea una inspiración para muchos otros y que emprendan el camino, para los que se atrevan a tomarlo, de ir rompiendo con lo establecido.

Es grato el ver como la información trasciende fronteras y nuestro trabajo fue visto en otras partes del mundo. No cabe duda que estamos en un solo mundo, y las fronteras no son más que marcas en los mapas. Ojala otros sigan con este tipo de actividades, sino tocará hacer otro Art Tech Day y mostrar no solo el talento de los guatemaltecos sino que también su creatividad.

Quién más esta dispuesto a aceptar el reto?

Resumen. La información es el activo más valioso que poseemos en la sociedad actual. Ésta es cada vez más importante para el desarrollo de las empresas y de negocios exitosos a través de la implementación de sistemas de información. Para proteger la información surge una nueva ciencia, la Informática Forense; ésta persigue objetivos preventivos así como reactivos, una vez se ha dado una infiltración en el sistema.

La Informática forense es una ciencia relativamente nueva y no existen estándares aceptados. Existen proyectos que están en desarrollo como el C4PDF (Código de Prácticas para Digital Forensics), de Roger Carhuatocto, el Open Source Computer Forensics Manual, de Matías Bevilacqua Trabado y las Training Standards and Knowledge Skills and Abilities de la International Organization on Computer Evidence.

Informática forense

Actualmente la tecnología esta avanzando a pasos agigantados, y con ella la forma en que todos operamos. Ahora toda la información es almacenada en los ordenadores de manera automática, a diferencia de épocas anteriores en donde la información se almacenaba de manera manual y en papel. Esto conlleva cierto tipo de ventajas y desventajas.

Las ventajas son evidentes, mayor facilidad en el manejo de la información, rapidez en la recolección y análisis de la misma, alta disponibilidad tanto en tiempo como en localidad. Sin embargo, las desventajas y riesgos en los que se incurre no son tan obvios. Entre estos, la vulnerabilidad de la información a ser borrada, la fácil replicación de la información, la explotación de la información por vulnerabilidades en el sistema.

Con todo el riesgo que se corre al manejar información debemos de tener una manera de protegernos y de proteger a las personas de las que mantenemos información. Para poder garantizar las políticas de seguridad y la protección de la información y las tecnologías que facilitan la gestión de la información surge la Informática forense.

Según el FBI, la informática (o computación) forense es la ciencia de adquirir,
preservar, obtener y presentar datos que han sido procesados electrónicamente y
guardados en un medio computacional.

La informática forense consiste en investigar sistemas de información con el fin de detectar evidencias de vulnerabilidad en los mismos. La finalidad de la informática forense, para un ente que la requiera, es perseguir objetivos preventivos (anticipándose al posible problema) u objetivos correctivos (para una solución favorable una vez que la vulnerabilidad y las infracciones ya se han producido).

En conclusión, la informática forense tiene un papel, en primer lugar, como sistema preventivo. Sirve para auditar, mediante la práctica de diversas técnicas para probar que los sistemas de seguridad instalados cumplen con ciertas condiciones básicas de seguridad. Los resultados de las auditorías servirán para poder corregir los errores encontrados y poder mejorar el sistema. Así mismo, lograr la elaboración de políticas de seguridad y uso de los sistemas para mejorar el rendimiento y la seguridad de todo el sistema de información.

En segundo lugar, sí el sistema ha sido penetrado, la informática forense permite realizar un rastreo de la intrusión y poder descubrir el daño realizado. Así como la recopilación de evidencias electrónicas, detectar el origen del ataque o las alteraciones realizadas al sistema (fugas de información, perdida o manipulación de datos). Para que, posteriormente, se utilicen las evidencias encontradas en la captura de los criminales que atacaron el sistema, y se proceda de manera legal según las regulaciones de cada país.

Conclusiones

En la actualidad el valor de la información esta en aumento, con ello debemos de preocuparnos más por protegerla. La informática forense nace a raíz de esta preocupación, buscando tanto la prevención como la reacción y corrección a problemas que puedan afectar los sistemas de información.

Para la buena aplicación preventiva de la informática forense es necesaria la realización de auditorías continuas en los sistemas, y la corrección de los errores encontrados en los mismos. También se necesita establecer políticas de seguridad para usuarios y para el uso de los sistemas de información, con el fin de minimizar la posibilidad de infiltraciones por alguna negligencia por parte de los usuarios o alguna falla en los procedimientos.

Por otro lado, en cuanto a la parte reactiva de la informática forense se necesita el uso de programas para la detección de la intrusión en el sistema de información y los cambios realizados a la información (manipulación o borrado). Así como un equipo multidiciplinario para poder cubrir de manera efectiva las áreas que traspasadas durante el ataque y poder rastrear los daños y al atacante.

Para que todo lo realizado en la informática forense sea exitoso, es necesario que se tengan regulaciones jurídicas que penalicen a los atacantes y que pueda sentenciarseles por los crímenes cometidos. Cada país necesita reconocer el valor de la información de sus habitantes y poder protegerlos mediante leyes. De manera que todos los crímenes informáticos no queden impunes.

Referencias

• Ausejo Prieto, Rafael. Análisis forense. http://www.ausejo.net/seguridad/forense.htm.
• Delitos Informáticos Programa Acceso Máximo. http://youtube.com/watch?v=vqu5vR7_Od0.
• Forensics Wiki. http://www.forensicswiki.org/.
• López, O. y Amaya H. y León R. Informática forense: Generalidades, aspectos técnicos y herramientas. Universidad de los Andes. Colombia.
• Pérez Gómez, Elena. ¿Qué es la informática forense o Forensic?. http://www.microsoft.com/spain/empresas/legal/forensic.mspx.
• Recovering and Examining Computer Forensic Evidence. http://www.fbi.gov/hq/lab/fsc/backissu/oct2000/computer.htm.

Descargar artículo completo: informatica-forense

si las tendencias continuan… en donde pararemos si cambiamos nuestra forma de ver el mundo de manera clásica, y empezamos a pensar cuánticamente…

Casi siempre, los hombres que realizan esos inventos fundamentales de un nuevo paradigma han sido muy jóvenes o muy noveles en el campo cuyo paradigma cambian. Se trata de hombres que, al no estar comprometidos con las reglas tradicionales de la ciencia normal debido a que tienen poca práctica anterior, tienen muchas probabilidades de ver que esas reglas no definen ya un juego que pueda continuar adelante y de concebir otro conjunto que pueda reemplazarlas. La transición consiguiente a un nuevo paradigma es la revolución científica.

Thomas Kuhn

Hoy Javier me envió esta frase, me parece muy interesante la manera en que Kuhn expresa como las personas que se encuentran fuera del sistema son capaces de ver lo que los que se encuentran dentro no pueden ver. Incluso Murphy expreso esto alguna vez, “quien paso y no tenia nada que ver con el problema te dará la solución“.

Ahora, es de esperar que con gente nueva, joven, con ideas innovadoras, que no temen hacer “preguntas tontas”, que se atreven a preguntar el por qué se llegue más lejos. Esperemos que la inspiración llegue a más personas, y que todos empecemos a realizar las preguntas correctas. La información ya esta afuera, solo espera ser codificada.

Por que la reflexión, preguntaran algunos. Pues, es por Esfera; esperemos que los jovenes que navegan al encontrar sitios donde se publica ciencia divertida, ciencia en linea, ciencia dinámica, donde tienen una retroalimentación sobre lo que se hace actualmente, y aún más interesante, en su país, se involucren y aporten esa chispa que hace falta en la ciencia.

Esfera gt es un directorio de blogs dedicado a promover la investigación en Guatemala. Para que todos los que estan trabajando en ella puedan compartir y enterarse de que es lo que estan haciendo los colegas.

El proyecto surge con la inquietud de crear espacios permanentes de gestión del conocimiento. Con un poco de esfuerzo (y gracias Isa y Javier, que me prestaron el hosting) ya esta el directorio arriba. Por ahora en fase beta para poder probarlo y ver como se comporta y que tanta respuesta tiene de parte de la comunidad.

Esperemos que pronto todos los que esten realizando investigación se agreguen al directorio y podamos empezar a compartir experiencias.

Cualquier comentario y mejora que crean que es posible se les agredecería que la hicieran (constructivamente) para poder mejorar el sitio.

En tanto a la imagen, estoy esperando cambiar el banner ya unos amigos ofrecieron mejorarlo (no soy muy bueno con el arte digital). Esperemos que lo terminen pronto y gracias por el apoyo. Gracias a flR por el diseño del banner y el logo, a mi me encanto. Creo que quedo excelente. Pueden ver la nueva imagen del sitio, ahora lo que falta es que todos se inscriban y sigan escribiendo y generando.

Consigna: compartir, generar/mezclar y reusar

En la escuela de Sistemas de San Carlos se crea una iniciativa para poder mostrar y compartir el conocimiento que se esta generando con las investigaciones de todos los compañeros que estamos realizando el proyecto de fin de carrera.

Esta iniciativa comprende la creación de blogs para poder mostrar y compartir en todo el mundo nuestros aportes. Todos los estudiantes estan canalizando toda esta información y poniendola a disposición de todas las personas, para que entre todos podamos gestionar el conocimiento y mejorarlo de poco a poco; esto lo podemos lograr a través de retroalimentación y comentarios sobre los distintos posts.

El siguiente paso es mezclar y reusar este conocimiento para poder crear ideas nuevas e innovadoras a través de todo lo que se esta colgando en la red. Esta es una buena muestra de todo el potencial que existe en Guatemala, y aún más en San Carlos.

Creo que este es un buen inicio para la creación de una comunidad de Académicos 3.0 Guatemaltecos en donde todos estemos enterados del trabajo que se realiza en toda Guatemala, y porque no el mundo. De manera que nos convirtamos en una comunidad que comparte y se apoya, y esperemos que ya no tarden las otras universidades y se unan al movimiento.

También espero que los compañeros que trabajan en el tema, se mantengan posteando y generando conocimiento y tráfico para toda la comunidad.

Tenemos la visión, ahora hay que ponerla en acción.

Invito a todas las personas a visitar los blogs y enterarse, y entusiasmarse, de lo que se esta realizando en Guatemala.

El area de lenguajes de programación cuánticos es un area que se ha estado desarrollando muchisimo en la última decada, tuvo un auge tremendo en el 2001 donde se presentaron muchismas propuestas.

Se creía que el area no iba a tener un gran impacto dado que el desarrollo de hardware y de computadoras cuánticas de más de unos cuantos qubits no han salido de los laboratorios de física y de las areas de investigación. Esto se ha desmentido, ya que el desarrollo de lenguajes clásicos han demostrado varias cosas:

• El desarrollo que han tenido los dispositivos cuánticos se ha incrementado. Un buen ejemplo es en el área de criptografía cuántica, en éste se necesitan dispositivos muy complejos y delicados por lo que el desarrollo de protocolos de comunicación y de programación de los mismos es necesaria.
• El amplio uso de lenguajes de programación que no tienen una buena base semántica ha causado muchos problemas. Un buen ejemplo de un lenguaje de programación con buenos fundamentos teóricos es java 1.5. De modo que el tener un buen fundamento antes de la implementación es necesario.
• La aplicación de las teorias sobre semántica, lógica y categorias en los lenguajes proveen una nueva perspéctiva sobre la teoría cuántica en si misma.

Los estudios y artículos que se han realizado se pueden resumir en

• Diseño de lenguajes de programación
• Semántica
• Compilación

Los lenguajes con más auge se encuentran en dos paradigmas específicos: el imperativo y el funcional. En el imperativo podemos mencionar lenguajes como QCL, Q-gol, qGCL y Quantum C; los que han tenido un gran desarrollo son QCL y qGCL, aunque este último no cuenta con un compilador como el primero. En los lenguajes funcionales podemos mencionar el Lambda Calculi de Van Tonder y QML, a los cuales recientemente se les ha agregado la medición formalmente, al primero por Alejandro Díaz y al segundo por su creador.

El desarrollo en esta area permitirá obtener abstracción sobre lo que se realiza y ganar una independencia de la arquitectura, así no importará si las computadoras son desarrolladas con esta o aquella otra tecnología. Ya que los lenguajes estarán bien fundamentados y listos para su implementación. Actualmente se plantea una arquitectura híbrida en las computadoras así como en los lenguajes, de modo que podremos utilizar ciertas características clásicas (como las entradas y salidas y algunos flujos de control, entre otros) y las características cuánticas (operadores, superposición e interferencia, paralelismo cuántico, registros de qubits, entrelazamiento, entre otros).

Referencia

• Gay, Simon J. Quantum Programing Languajes: Survey and Bibliography. Department of Computing Science, University of Glasgow. ( 2006 )

En el mundo clásico estamos tan acostumbrados a observar las cosas que nos olvidamos de lo que esto significa, e implica!. Por ejemplo, como podemos saber si algo esta sonando o no? pues simple escuchamos y sabemos; como sabemos si el programa que tenemos saco los datos que pensamos? pues revisamos los datos y sabremos; como sabemos si el color de algo es blanco o negro? pues vemos y sabremos. Todos estos son ejemplos de mediciones.

En el nivel cuántico la cosas cambian, ya que no podemos observar o medir el sistema en el que estemos trabajando sin perder la información que este posee. Esto es porque colapsamos el sistema en uno de los estados posibles y el resto de información que tenia el sistema, por estar en los otros estados, se pierde y no puede ser recuperada.

Es por esto que decimos que la medición es un proceso destructivo, porque destruye la información que se tenia en el sistema. Al medir un sistema también perdemos la posibilidad de poder revertir las operaciones que se hayan realizado sobre el sistema, de modo que no podemos regresar al estado inicial. En computación cuántica esto equivale a no poder revertir todas las operaciones que se hicieron sobre los qubits, de manera que al medir no podemos revertir este proceso y la información que se tenia almacenada en el qubit se perderá y quedará solo la que hemos observado.

Otro claro ejemplo de esto es el principio de incertidumbre de Heisemberg que dice que no se pueden determinar dos variables con precisión simultaneamente. Esto porque, nuevamente, la medición es un proceso destructivo lo que quiere decir que al medir una variable alteramos la información del sistema y no podemos determinar exactamente la otra variable.

En computación cuántica podemos evitar este fenomeno, aunque sea parcialmente. Esto lo logramos trasladando la medición al final de los algoritmos que estemos trabajando, esto no altera el significado del algoritmo de ninguna manera. Además, podemos transformar cualquier algoritmo en uno equivalente que posea la medición al final del mismo. Logrando con esto, una ventaja sobre el diseño de algortimos cuánticos.

Función de onda que estás
en los espacios de Hilbert,
normalizado sea tu cuadrado
venga a nosotros tu valor medio
así en posiciones como en momentos,
el valor medio de tu energía
dánoslo hoy.
Perdona nuestra incertidumbre
como nosotros perdonamos
tu parte compleja
no nos dejes caer en la degeneración
más libranos de Plank.
Am En

Este me lo tope buscando fotos en Flickr, me mato de la risa así que quice compartirlo con la comunidad. Un poco de humor no cae mal de vez en cuando, y según lo que dicen la risa aumenta la esperanza de vida. Así que si les gusto acaban de ganar un par de días más en la Tierra.

Fuente: http://flickr.com/photos/azugaldia/146066161/

Una de las compuertas cuánticas más importantes es la CNot, esta compuerta es de dos qubits; quiere decir que opera sobre dos qubits. El funcionamiento de la CNot es verificar el valor del primer qubit si este es 1 entonces invierte el valor del segundo qubit. Se dice que es una compuerta controlada, a partir de esta lógica se puede generalizar para cualquier tipo de operador U, de modo que tendriamos cualquier operador controlado.

Podriamos decir que la CNot es un tipo de condicional estático, ya que en computación cuántica no podemos realizar un control de flujo como el que conocemos o estamos acostumbrados a ver en la computación clásica.

Vamos a denotar el funcionamiento de la CNot con sus dos quibtis de la siguiente manera , esto significa que la compuerta CNot actua sobre los qubits x e y. Llamaremos a x el qubit de control y a y el qubit objetivo, el funcionamiento de la compuerta es realizar un o exclusivo (si lo vemos como lógica booleana) o bien una suma modulo 2 (que es lo que denota ). La matrix del operador es:

Veamos unos ejemplos:

Ahora, veamos la demostración para un qubit cualquiera. Supongamos que tenemos un qubit y su qubit invertido , y las bases estan dadas por y .

Vamos a empezar por aplicar

para poder aplicar la CNot es necesario realizar el producto tensorial primero, de modo que si lo realizamos tenemos

ahora, aplicamos el operador al producto tensorial

si trabajomos sobre la base podemos observar que

entonces podemos sustituir y tendremos

que era lo que queriamos demostrar, de modo que no varia el qubit objetivo. Ahora para demostrar que si lo invierte con 1

obtenemos del producto tensorial

aplicamos CNot al producto y tenemos

de manera analoga que en la primera parte, al trabajar sobre la base tenemos

entonces podemos sustituir y tendremos

entonces podemos ver que al aplicar el CNot al qubit con el qubit de control en 1 lo convierte en que es el qubit invertido del primero, esto lo podemos verificar al aplicar el operador Not a .