Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
02241nam a2200301 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20170915100319.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
110801s2004 ag_||||| |||| 00| 0 spa d |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
AR_CdUFM |
Centro/agencia transcriptor |
AR_CdUFM |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
9 (RLIN) |
9423 |
Nombre de persona |
Kunz, César Darío, |
Fechas asociadas al nombre |
1980- |
245 10 - MENCIÓN DE TÍTULO |
Título |
Un análisis de algunos sistemas formales para verificar protocolos de seguridad sobre spi-cálculo / |
Mención de responsabilidad, etc. |
César Darío Kunz ; dir. por Daniel Edgardo Fridlender. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
[S.l. : |
Nombre del editor, distribuidor, etc. |
s.n.], |
Fecha de publicación, distribución, etc. |
2004. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
89 h. : |
Otras características físicas |
il. ; |
Dimensiones |
30 cm. |
500 ## - NOTA GENERAL |
Nota general |
|
502 ## - NOTA DE TESIS |
Nota de tesis |
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2004. |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
Nota de bibliografía, etc. |
Incluye referencias bibliográficas: p. 88-89. |
520 ## - SUMARIO, ETC. |
Sumario, etc. |
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. |
590 ## - NOTA LOCAL (RLIN) |
Enlace (RLIN) |
La biblioteca posee 2 ej. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Specifying and verifying and reasoning about programs. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Especificación, verificación y razonamiento sobre programas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Security and protection. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Seguridad y protección. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
5595 |
Nombre de persona |
Fridlender, Daniel Edgardo, |
Fechas asociadas al nombre |
1964- |
Término indicativo de función/relación |
dir. |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) |
Tipo de ítem Koha |
Trabajo Especial de Grado |
Fuente del sistema de clasificación o colocación |
|
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
|
Fecha |
2004-04-14 |
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
MEG |
Fecha |
2011-08-01 |
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
MBO |
Fecha |
2011-08-02 |