CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Un análisis de algunos sistemas formales para verificar protocolos de seguridad sobre spi-cálculo / César Darío Kunz ; dir. por Daniel Edgardo Fridlender.

By: Kunz, César Darío, 1980-.
Contributor(s): Fridlender, Daniel Edgardo, 1964- [dir.].
Material type: materialTypeLabelBookPublisher: [S.l. : s.n.], 2004Description: 89 h. : il. ; 30 cm.Subject(s): Specifying and verifying and reasoning about programs | Especificación, verificación y razonamiento sobre programas | Security and protection | Seguridad y protecciónDissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2004. Summary: Pi-cálculo es un modelo computacional basado en la comunicación de mensajes a través de canales. Fue desarrollado originalmente para analizar la movilidad de canales entre procesos paralelos. Spi-cálculo, con todas sus variantes, es una extensión de Pi-cálculo con primitivas criptográficas y algunas construcciones sintácticas que facilitan la programación y lectura. Al ser un lenguaje de procesos concuerrentes sirve como herramienta para la especificación de prtocolos criptográficos como así también para la descripción y verificación de las propiedades que se espera que tengan. Originalemente, las propiedades eran definidas en función de equivalencias entre procesos, un método muy flexible pero que por lo general requiere gran trabajo y conocimiento del protcolo. Por otro lado, los métodos más recientes están basados en sistemas de tipos y programación lógica. Estos son por lo general, herramientas automatizables pero están destinados a probar propiedades aisladas.
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Copy number Status Date due Barcode Item holds
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C KUN 1 Available 17077
Trabajo Especial de Grado Trabajo Especial de Grado FaMAF
Secc. Tesis y Trabajos especiales
TE C KUN ej.2 2 Available 17078
Total holds: 0

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2004.

Incluye referencias bibliográficas: p. 88-89.

Pi-cálculo es un modelo computacional basado en la comunicación de mensajes a través de canales. Fue desarrollado originalmente para analizar la movilidad de canales entre procesos paralelos. Spi-cálculo, con todas sus variantes, es una extensión de Pi-cálculo con primitivas criptográficas y algunas construcciones sintácticas que facilitan la programación y lectura. Al ser un lenguaje de procesos concuerrentes sirve como herramienta para la especificación de prtocolos criptográficos como así también para la descripción y verificación de las propiedades que se espera que tengan. Originalemente, las propiedades eran definidas en función de equivalencias entre procesos, un método muy flexible pero que por lo general requiere gran trabajo y conocimiento del protcolo. Por otro lado, los métodos más recientes están basados en sistemas de tipos y programación lógica. Estos son por lo general, herramientas automatizables pero están destinados a probar propiedades aisladas.

La biblioteca posee 2 ej. La biblioteca posee ej.

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:00hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127(Atención al Público) int. 41151(Dirección)

biblio@famaf.unc.edu.ar

publicofamaf@gmail.com



//