Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Foundations of Security Analysis and Design V (Registro nro. 66687)

000 -CABECERA
campo de control de longitud fija 03959nam a22006015i 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control DE-He213
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20191014003220.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 100301s2009 gw | s |||| 0|eng d
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783642038297
-- 978-3-642-03829-7
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-642-03829-7
Fuente del número o código doi
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación Libro electrónico
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia UR
Fuente bicssc
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia UTN
Fuente bicssc
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia COM053000
Fuente bisacsh
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.8
Número de edición 23
001 - NÚMERO DE CONTROL
campo de control 000070650
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Aldini, Alessandro.
Término indicativo de función/relación editor.
9 (RLIN) 154863
245 97 - MENCIÓN DE TÍTULO
Título Foundations of Security Analysis and Design V
Medio [electronic resource] :
Resto del título FOSAD 2007/2008/2009 Tutorial Lectures /
Mención de responsabilidad, etc. edited by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri.
264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Berlin, Heidelberg :
Nombre del de productor, editor, distribuidor, fabricante Springer Berlin Heidelberg,
Fecha de producción, publicación, distribución, fabricación o copyright 2009.
300 64 - DESCRIPCIÓN FÍSICA
Extensión VIII, 339 p.
Otras características físicas online resource.
336 64 - TIPO DE CONTENIDO
Término de tipo de contenido text
Código de tipo de contenido txt
Fuente rdacontent
337 64 - TIPO DE MEDIO
Nombre/término del tipo de medio computer
Código del tipo de medio c
Fuente rdamedia
338 64 - TIPO DE SOPORTE
Nombre/término del tipo de soporte online resource
Código del tipo de soporte cr
Fuente rdacarrier
347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo text file
Formato de codificación PDF
Fuente rda
490 81 - MENCIÓN DE SERIE
Mención de serie Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas 0302-9743 ;
Designación de volumen o secuencia 5705
505 80 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Foundations of Security Analysis and Design -- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties -- An Introduction to Certificate Translation -- Federated Identity Management -- Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment -- Logic in Access Control (Tutorial Notes) -- The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols -- Verification of Concurrent Programs with Chalice -- Certified Static Analysis by Abstract Interpretation -- Resource Usage Analysis and Its Application to Resource Certification -- Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.
520 64 - SUMARIO, ETC.
Sumario, etc. FOSAD has been one of the foremost educational events established with the goal of disseminating knowledge in the critical area of security in computer systems and networks. Offering a good spectrum of current research in foundations of security, FOSAD also proposes panels dedicated to topical open problems, and giving presentations about ongoing work in the field, in order to favour discussions and novel scientific collaborations. This book presents thoroughly revised versions of ten tutorial lectures given by leading researchers during three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics covered in this book include cryptographic protocol analysis, program and resource certification, identity management and electronic voting, access and authorization control, wireless security, mobile code and communications security.
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS
Nota de tipo de archivo de ordenador o de datos ZDB-2-SCS
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS
Nota de tipo de archivo de ordenador o de datos ZDB-2-LNC
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer science.
-- 154864
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Communication Networks.
-- 154865
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Data protection.
-- 8981
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Data encryption (Computer science).
-- 154866
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Logic design.
-- 154867
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Information Systems.
-- 154868
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Science.
-- 154869
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Systems and Data Security.
-- 8985
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Data Encryption.
-- 154870
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Computer Communication Networks.
-- 154865
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Management of Computing and Information Systems.
-- 9204
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Logics and Meanings of Programs.
-- 13880
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programming Languages, Compilers, Interpreters.
-- 9471
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Barthe, Gilles.
Término indicativo de función/relación editor.
-- 154871
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Gorrieri, Roberto.
Término indicativo de función/relación editor.
-- 154872
710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada SpringerLink (Online service)
9 (RLIN) 154873
773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN
Título Springer eBooks
776 ## - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia Printed edition:
Número Internacional Estándar del Libro 9783642038280
830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
Título uniforme Lecture Notes in Computer Science,
Número Internacional Normalizado para Publicaciones Seriadas 0302-9743 ;
Designación de volumen o secuencia 5705
9 (RLIN) 154874
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso http://dx.doi.org/10.1007/978-3-642-03829-7
Nota pública de clik aquí para ver el libro electrónico
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro Electrónico

No hay ítems disponibles.