viernes, 17 de diciembre de 2010

MODELO MATEMÁTICO DE SEGURIDAD

Cuadro Sinóptico:

CUESTIONARIO

1.Un empleado poco satisfecho ha robado varios discos duros de muy alta calidad con datos de la empresa. ¿Qué importa más, el costo de esos discos o el valor de los datos? Justifique su respuesta.

Lo que más importa es la información contenida en los discos ya que esa información fue recolectada para un fin y uso único de la empresa, ya que esta información se la puede utilizar para otros fines.

. 2.En una empresa se comienza a planificar estrategias de acceso a las dependencias, políticas de backup, de protección de los equipos ante el fuego, agua, etc. ¿Eso es seguridad física o lógica? ¿Por qué?

Es la seguridad física, porque todo lo que se indica en la pregunta está relacionado con acceso físico a las instalaciones de la empresa y los medios donde se almacenaran los respaldos y los planes de contingencia para los diferentes posibles desastres.

. 3.En nuestra empresa alguien usa software pirata. ¿Es una amenaza de interrupción, interceptación, modificación o de generación?

Es una amenaza de Interceptación.

4.Una clave de sesión en internet para proteger una operación de cifra dura 45 segundos. Si alguien intercepta el criptograma, ¿debemos preocuparnos si sabemos que la próxima vez la clave será otra?

Tengo 2 respuestas:

· No me preocuparía si sabemos que cada vez la clave cambiara.

· Si el que intercepta el criptograma logra decifrarlo entonces así cada vez que se cambie la clave el podrá dicifrar cual es la clave ya que pudo resolver el algoritmo de cifrado.

5. Si se prueban todas las combinaciones posibles de una clave para romper un criptograma, ¿qué tipo de ataque estamos realizando?

Ataques de Autenticación

Intento Fracaso

jueves, 16 de diciembre de 2010

ESTUDIANTES RUSOS ‘RETAN’ A STEVE JOBS


Hola a todos, quien dijo que los avances tecnologicos solo los tenian los de nipones, o los norteamericanos pues NO, estos jovenes de la Universidad Estatal Rusa de Kaliningrado construyeron una mesa digital interactiva (una pantalla táctil de grandes dimensiones) que por sus prestaciones supera a los dispositivos de Apple. La pantalla multitáctil reconoce más de 500 pulsaciones simultáneas y determina qué objetos físicos están colocados en su superficie.

Esto es lo que ellos dicen textualmente: "Muchos pueden suponer que esto es una especie de 'iPhone' agrandado, pero no, hemos ido más allá. Aquí podemos reconocer no sólo varias pulsaciones, ni cinco ni diez, sino 512 simultáneas, y eso no tiene análogos en el mundo. Además, esta mesa puede determinar los objetos colocados sobre ella"

Es de mucho alago saber que desde otros lugares del mundo se encuentran muy centrados en la investigación tecnologica... y sabiendo que esta Unicersidad queda en uno de los lugares muy frios del planeta pero cuando se quiere se puede y los obstaculos quedan en segundo plano...




martes, 14 de diciembre de 2010

Análisis Sintáctico Ascendente

(Bottom-Up-Parser): un analizador puede empezar con la entrada e intentar llegar hasta el símbolo inicial, intuitivamente el analizador intenta encontrar los símbolos más pequeños y progresivamente construir la jerarquía de símbolos hasta el inicial, los analizadores LR funcionan así y un ejemplo es el Yacc.
Los analizadores sintácticos LR, también conocidos como Parser LR, son un tipo de analizadores para algunas gramáticas libres de contexto. Pertenece a la familia de los analizadores ascendentes, ya que construyen el árbol sintáctico de las hojas hacia la raíz. Utilizan la técnica de análisis por desplazamiento reducción. Existen tres tipos de parsers LR: SLR (K), LALR (K) y LR (K) canónico.
Un analizador LR consta de:
1. Un programa conductor
2. Una entrada
3. Una salida
4. Una tabla de análisis sintáctico, compuesta de 2 partes (ACCIÓN Y GOTO)
Cabe acotar que el programa conductor es siempre igual, solo variando para cada lenguaje la tabla de análisis sintáctico.
El algoritmo para reconocer cadenas es el siguiente: dado el primer carácter de la cadena y el estado inicial de la tabla, buscar qué acción corresponde en la tabla de acción.
Si el estado es shift n (n ∈ N), se coloca el carácter y el número de estado n en la pila, se lee el siguiente carácter y repite el procedimiento, solo que esta vez buscamos en el estado correspondiente.
SI ACCIÓN = REDUCE n (n ∈ N), se sacan de la pila tantas tuplas (estado, símbolo) como el largo de la cola de la producción en el n-ésimo lugar, y se reemplaza por la cabeza de esta producción. El nuevo estado sale de buscar en la tabla GOTO usando para ubicarlo el número de estado que quedo en el tope de la pila, y el no terminal en la cabeza.
En la tabla acción también encontraremos ACEPTAR que se toma la cadena como valida y se termina el análisis o ERROR que se rechaza la cadena.

Para generar un autómata LR(0) en base a una gramática G, primero se debe definir:
 Gramática ampliada: Dado una gramática G, se define la gramática ampliada G'a:
1. Se agrega una producción S'->S# donde S es el símbolo inicial.(el # representa el fin de cadena)
2. Se pasan todas las producciones a ítems de configuración (veremos este concepto en un instante) con el punto al principio de la cola
3. Se define S' como el símbolo inicial de la gramática.
 Ítem de configuración: un ítem de configuración es una producción que tiene un carácter especial (generalmente un punto) en algún lugar de la cola. Por ejemplo: la producción S->ABC genera los siguientes ítems,{ S->.ABC, S->A.BC, S->AB.C S->ABC.}. Como veremos en un instante, y hablando informalmente el punto representa el lugar actual en donde me puedo encontrar en un momento en el parseo en una producción.
 Clausura de un ítem: se define a la clausura de un ítem (y de forma informal) a: dado un ítem S->A.cB (A, B e V*, c e Vt unión VN) al conjunto formado por
1. S->A.cB
2. Si c es un no terminal, se agregan todos los ítems que tengan a c como cabeza de la producción y el punto al principio de la cola,
3. Si p es un ítem que pertenece a la clausura, la clausura de p pertenece a la clausura, siempre y cuando ya no este agregada.
En otras palabras, y para que se entienda el concepto, la clausura de un ítem representa todas las producciones que se pueden aplicar a una cadena valida a partir del punto del ítem.
Finalmente, la construcción del autómata es así:
1. Se amplía la gramática
2. Dado el símbolo inicial de la gramática ampliada, se calcula su clausura y este se define como un estado inicial.
3. Para cada estado: se agrupan las producciones según el carácter que está después del punto, si todavía no se definió el estado, se corre el punto un carácter a la derecha, se crea el nuevo estado con esta producciones, y la clausura de cada una de ellas, se define el carácter que estaba después del punto en el estado de origen como el carácter de la transición.
4. Si el estado tiene en alguna producción el punto al final, este estado se marca como un estado final del autómata.
5. Se sigue hasta que ya no se tenga más estados nuevos posibles.
Estrictamente hablando, el autómata LR es un autómata determinista, aunque, en general, su utilidad radica en ser la base para la construcción de la tabla LR(0).

Presentación:


Análisis Sintáctico Descendente

El analizador sintáctico LL es un analizador sintáctico descendente, por un conjunto de gramática libre de contexto. En éste analizador las entradas son de izquierda a derecha, y construcciones de derivaciones por la izquierda de una sentencia o enunciado. La clase de gramática que es analizable por éste método es conocido como gramática LL.

El resto de este artículo se describe en el cuadro de base del tipo de analizador sintáctico, la alternativa comienza con ser un intérprete de ascendencia recursiva que normalmente son codificados a mano (aunque no siempre; por ejemplo, ANTLR para un LL(*) - (generador de analizador ascendencia recursiva).

Un analizador LL es llamado un analizador LL (k) si usa k tokens cuando el analizador ve hacia delante de la sentencia. Si existe tal analizador para cierta gramática y puede analizar sentencias de ésta gramática sin marcha atrás, entonces es llamada una gramática LL (k). De ésta gramáticas, la gramática LL(1), aunque es bastante restrictiva, éstas son muy populares porque los analizadores LL correspondientes sólo necesita ver el siguiente token para hacer el análisis de sus decisiones. Lenguajes mal diseñados usualmente suelen tener gramáticas con un alto nivel de k, y requieren un esfuerzo considerable a analizar.

Es del tipo LL1 porque empezamos a derivando por la izquierda, y los caracteres son leídos de izquierda a derecha, el 1 por que se lee 1 solo elemento de entrada.

También se puede considerar como un intento de construir un árbol de análisis sintáctico para la entrada comenzando desde la raíz y creando los nodos del árbol en orden previa.

Bueno primeramente para trabajar el análisis sintáctico descendente se debe realizar primeramente algunas operaciones para que la gramática sea LL1 las cuales son:

- Eliminar Ambigüedad

- Eliminar Recursividad por la Izquierda

- Factorizar

- Primeros y siguientes

  • Ambigüedad

Una gramática es ambigua cuando genera más de un árbol de derivación.

Para eliminar la ambigüedad se debe reescribir la gramática.

Ejemplo:

  • Recursividad por la Izquierda

Una gramática es recursiva por la izquierda si tiene un no Terminal A tal que existe una derivación A->Aα para alguna cadena. Es decir por simple observación podemos identificar.

Para eliminar la recursividad por la izquierda se utiliza la siguiente formula.

Ejemplo:

Gramática Recursiva


  • Factorización por la Izquierda

Una gramática tiene dos producciones alternativas de un símbolo A empiezan iguales, no se sabrá por cuál de ellas seguir. Se trata de reescribir las producciones de A para retrasar la decisión hasta haber visto lo suficiente de la entrada como para elegir la opción correcta.

Ejemplo de una gramática que tiene Factorización por la izquierda

Para eliminar la Factorización se debe poner en práctica la siguiente fórmula:

Ejemplo:

Resultado de factorizar

Se realiza factorización ya que si no lo hacemos al momento de que el análisis sintáctico inicia el reconocimiento se va a encontrar con varias alternativas, lo que hace que esto sea semejante a un autómata finito no determinista, por lo tanto no se sabe que camino elegir.

  • Primeros y Siguientes

*Primeros._ Conjunto de elementos terminales que se encuentran al lado derecho de la producción. Para lo cual se tiene la tres siguientes formulas. Su palabra lo dice es el primer elemento terminal que encontramos en el lado derecho de la producción


*Siguientes._ Si A es un símbolo no Terminal de la gramática; S(A) es el conjunto de terminales ( y $) que pueden aparecer a continuación de A alguna forma sentencial derivada del símbolo inicial.

Presentación:

AnalisisSintacticoDescendente


Via1: http://faustol.wordpress.com/2007/10/12/primeros-y-siguientes/#comment-30
Via2: http://www.scribd.com/doc/38783868/AnalisisSintacticoDescendente

domingo, 12 de diciembre de 2010

Medidas, Métricas, Indicadores

UNIVERSIDAD NACIONAL DE LOJA

Área de la Energía, las Industrias y los Recursos Naturales No Renovables

Ingeniería en Sistemas

Taller de Ingeniería de Software

Nombre: Pablo Aguilar Paralelo: IX Módulo “B”

Lenin Gordillo

Eduardo Lima

Yanela Ríos

Carlos Vivanco

Fecha: Loja, 12 de diciembre de2010



MAPA MENTAL
:

INFORME:

Las Medidas, métricas e indicadores muy importantes, porque ayudan al desarrollador en la toma de decisiones ya sea para caracterizar, evaluar, predecir, e incluso mejorar el producto.

Conceptos Medibles (Factores).- se puede medir laCalidad, Calidad en Uso, Productividad, Costo, etc. del Software.

En realidad (Medidas, Métricas, Indicadores) son pablaras que guardan una similitud pero cuyo sentido es diferente, por ello a continuación anotaremos algunas definiciones obtenidas en diferentes sitios:

Medidas.- proporciona una indicación cuantitativa de la extensión, cantidad, dimensiones, capacidad o tamaño de algunos atributos de un proceso o producto.

Ejemplo: Un programa tiene 10.000 LDC (líneas de código).

Muchas veces las personas confundimos los términos Medida y Medición pues consideramos que es lo mismo, esto es un error ya que La medición es el acto de determinar una medida.

Ejemplo: Lenin será el encargado de medir las LDC de cada módulo del sistema.

La Utilidad de la medida del software radica en poderasegurar la calidad, cuantificar los atributos que constituyen la calidad para el usuario final, de ahí surgen los resultados cuantitativos.

Métrica.-es una indicación medible de algún aspectocuantificable de un sistema: alcance, riesgo, costo,tiempo.

Características de una métrica útil:

· Medible

· Independiente

· Controlable

· Precisa

Ejemplo: la productividadde este proyecto fue de 500 (LDC/persona-mes).

Para comprender mejor lo antes mencionado se puede afirmar que: Pablo R en el D

- La medida captura una característica individual.

- La medición permite capturar dicha característica.

- La métrica permite relacionar y comparar mediciones.es

DESVENTAJAS DE LAS METRICAS

- Uno de los problemas que tienen las métricas es que no existe un esquema de criterios generalmente aceptado (un estándar). Como no hay acuerdo en los criterios involucrados, abundan las propuestas de métricas que abordan la calidad con criterios propios.

- Otro problema de las métricas es que no proporcionan información por sí solas y a veces en vez de claridad aportan confusión a la contraparte del modelador dentro del proceso. Esto se debe a que muchas métricas no guardan relación con los intereses de las partes, y el indicador de la calidad de un esquema se construye generalmente con todas ellas.

Indicador.- es una métrica o combinación de métricas que proporcionan una visiónprofunda del proceso del software, del proyecto de software o del producto en sí.S

Ejemplo: la productividad media de nuestra empresa es de 500(LDC/pm) y en el último proyecto ha sido de 250(LDC/pm).

Los indicadores del proyectopermiten al gestor:

- Evaluar el estado del proyecto en curso.

- Seguir la pista de riesgos potenciales.

MEDICIONES DEL SOFTWARE

Las mediciones del mundo físico se pueden categorizar de dos maneras;medidas directas (por ejemplo: la longitud de un tomillo) y medidas indirectas (por ejemplo: la «calidad» de los tomillos producidos, medidos contando los artículos defectuosos). Las métricas del software se pueden categorizar de forma similar.

Medidas Directas.- En el proceso de ingeniería se encuentran el costo, y el esfuerzo aplicado, las líneas de código producidas, velocidad de ejecución, el tamaño de memoria y los defectos observados en un determinado periodo de tiempo.

Medidas Indirectas.- Se encuentra la funcionalidad, calidad, complejidad, eficiencia, fiabilidad, facilidad de mantenimiento, etc.

El coste y el esfuerzo requerido para construir el software,el número de líneas de código producidas, y otrasmedidas directas son relativamente fáciles de reunir. Sin embargo, la calidad yfuncionalidad del software, o su eficiencia o mantenimientoson más difíciles de evaluar y sólo pueden sermedidas indirectamente.

Métricas Orientadas al Tamaño.- provienen de la normalización de las medidas de calidad y/oproductividad considerando el «tamaño» del software que se haya producido.

Métricas Orientadas a la Función.- Las métricas del software orientadas a la función utilizanuna medida de la funcionalidad entregada por la aplicación como un valor de normalización. Ya que lafuncionalidadno se puede medir directamente, se debe derivar indirectamente mediante otras medidas directas. Las métricas orientadas a la función fueron propuestas por primera vez por Albretch [ALB79], quien sugirió una medida llamada punto de función. Los puntos de función se derivan con una relación empírica según las medidas contables (directas) del dominio de información del software y las evaluaciones de la complejidad del software.

Los puntos de función se calculan completando la tabla siguiente:

Métricas ampliadas de punto de función.- La medida de punto de función se diseñó originalmente para aplicarse a aplicaciones de sistemas de información de gestión. Por esta razón, la medida del punto de función era inadecuada para muchos sistemas de ingeniería y sistemas empotrados (que enfatizan función y control). Para remediar esta situación se ha propuesto un número de extensiones a la métrica del punto de función básica.

Páginas Consultadas:

PROCESO DE SOFTWARE Y MÉTRICAS DE PROYECTOS. [Seriado en línea]. [http://exa.unne.edu.ar/informatica/evalua_ant/Sitio%20Oficial%20ESPD-talleres/TRABAJO%20DE%20PAG%20DE%20LEON/web/Otros%20metricas/4._Proceso_de_software_y_metricas_de_proyectos.pdf] Consulta realizada: 10 de noviembre,2010.

CALIDAD EN EL DESARROLLO DE SOFTWARE. [Seriado en línea].[http://www.cs.uns.edu.ar/~prf/teaching/SQ07/clase2.pdf] Consulta realizada: 10 de noviembre,2010.

APLICACION METRICAS PARA EVALUACION DISEÑO. [Seriado en línea]. [http://www.mitecnologico.com/Main/AplicacionMetricasParaEvaluacionDise%F1o] Consulta realizada: 10 de noviembre,2010.

Bibliografía:

Pressman, Roger S.INGENIERÍA DEL SOFTWARE. Un enfoque práctico.Quinta ediciónConsulta realizada: 23 de noviembre,2010.