The full text for the lecture I gave for the GASU seminar organized by Computer Security Department at UNAM in july, 2000.