jueves, 20 de septiembre de 2012

Reporte 3 - LABORATORIO

rsa


To this entry did WEB authentication with RSA, the algorithm. The language used was PHP with a MySQL database, what we do in relatively simple, but I was too complicated for me my little experience (very little) with PHP .

  This code is the main page, which generates "x", choose your "user" and gives you access to a link which downloads a script with which to generate "r", also has a button to "validate" that tells if really you. (These authenticated).

  Clarification when clicking the Generate button will show a value of "x" random, but the field will empty this is where I fail, you have to add the field to the "X" on hand.




By clicking on Send
you send a second window where you show your data are generated and whether or not you.



Screenshot



lunes, 17 de septiembre de 2012

Semana 6


Para esta semana tenemos que escoger un problema (de aqui) y resolverlo.

Mi problema es el siguiente:

When a formula is false in a graph, we may want to change that graph in a minimal manner to make the formula true after all. Think of an engineer changing a blueprint to meet a given specification. Consider the following graph:
The formula ∃x∀yRxy is false in the graph if R is interpreted as the → relation. Make the formula true by adding a single → link to the graph.

Explicación: 

La parte teórica de este pdf no dice que  "Rxy" es una expresión con 2 objetos(nodos) que están unidos con una arista(en realidad una flecha) del primer objeto al segundo objeto.


y cualquiera de las siguiente formulas es verdadera para representarlo:

 


También nos menciona que esto:

es lo mismo que esto:


y su formula para representarlo es:

∀x∀y(Rxy → Ryx)

y no solo para este ejemplo, si no que también para cualquier grafo no dirigido.

Ahora que ya tenemos las herramientas suficientes, nuestro problema dice (en palabras generales), que a nuestro grafo no le pertenece la formula y que tenemos que rediseñar el grafo para que sea verdadera.

Recordemos la formula:

∃x∀yRxy 

Esto lo podemos representar:

"Rxy" es verdadera si existe cualquier "y" y por lo menos una "x"

es lo mismo que

"Rxy" es verdadera si existe cualquier "y" y por lo menos una "x"


Referencias:

http://es.wikipedia.org/wiki/L%C3%B3gica_de_primer_orden#Cuantificadores

http://www.scribd.com/doc/21557553/CUANTIFICADORES

jueves, 13 de septiembre de 2012

RSA Algorithm

For this post we have auntentificacion implentar the RSA in python for a client-server system with sockets. entire theory about how the algorithm and definitions found in the biography.
What I did was create a program in which you generate all the data and saves them in one. "dat"

Here's how they communicate the client and server data is sent and if the key is the same time creates an "infinite connection" otherwise ends the program.

Servidor.py




cliente.py

This entry was working with Rene Camacho.
Referencias:

RSA Algorithm
Algoritmo de Euclides
Extended Euclid's Algorithm
criptografia asimetrica rsa
rsa
wolframalpha

miércoles, 5 de septiembre de 2012

Alice, Bob y Eve

For this week we play "Alice, Bob and Eve" the goal was for each person on your team had to go through one of them at least once, and try to find the numbers in that thought.
As rules had to be small numbers so that we could make in pencil.



Ec. diferenciales

sdsdPara la tarea 2 de laboratorio se nos encargo resolver un problema sobres ec. diferenciales, para no estar tan "perdidos" acerca de los temas que vemos en la clase.

EL problema que me toco es el siguiente: 

FOTO DEL PROBLEMA

lo cual podemos sustiruirlo con la siguiente notación
si recordamos transformadas de laplace, sustituimos por su equivalencia

 lo siguiente es remplazar las condiciones iniciales

 reducimos la ecuación lo mas que se pueda

y despejamos "f(s)"

lo siguiente es factorizar la parte de abajo de la divición, la única forma de factorizarlo es por "completando el cuadrado"


 acomodamos
Según la tablas de las transformadas tenemos que: 
recordando eso podemos anti-transformar, nos quedaría de la sig. forma

quitamos paréntesis

lo unico que nos falta es cambiar a la notacion origianal (con "x")