Avispa: 131 results found.
|
The AVISPA Project
AVISPA aims at developing a push-button, industrial-strength technology
for the analysis of large-scale Internet security-sensitive protocols
and applications.
This technology will speed up the development of the next generation of
network protocols, improve their security, and therefore increase the
public acceptance of advanced, distributed IT applications based on them.
We at AVISPA will achieve this by advancing specification and deduction
technology to the point where industry protocols can be specified and
automatically analyzed.
A central aim of the project is then to integrate this technology into
a robust automated tool, tuned on practical, large-scale problems, and
migrated to standardization bodies, whose protocol designers are in dire
need of such tools.
Avispa-project.org ~
Site Info
Whois
Trace Route
RBL Check
|
|
Roberto López Moreno: Escritor, periodista, maestro de periodismo
Roberto López Moreno: Escritor, periodista, maestro de periodismo. Nació en México. Huixtla, 11 de agosto 1942. Autor de la teoría poética denominada Poemuralismo. Entre más de una treintena de títulos publicados se encuentran los siguientes libros: de poesía: Décimas Lezámicas UNAM; De saurios, itinerarios y adioses Universidad Autónoma de Chiapas; Verbario de varia hoguera Instituto Chiapaneco de Cultura y Sinfonía de los salmos, también de la UNAM. De narrativa mencionaremos: Yo se lo dije al presidente Fondo de Cultura Económica; Las mariposas de la Tía Nati Tercera edición en la colección Lecturas mexicanas del CNCA; La Curva de la Espiral en la editorial Claves Latinoamericanas y Cuentos en recuento, UNAM. Ha representado a nuestro país en ciudades como Salta, Argentina; en Santiago de Cuba y La Habana, Cuba; Berkeley, EU; Medellín, Colombia; Struga, República de Macedonia entre otros sitios. Otro libro suyo es Crónica de la música de México ...s
Robertolopezmoreno.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|