Foundations of Security Analysis and Design VII : FOSAD 2012-2013 : Tutorial Lectures /
Selección de ponencias impartidas en las Escuelas Internacionales sobre Fundamentos del Análisis y Diseño de Seguridad, celebradas en Bertinoro, Italia, en septiembre de 2012 y 2013. Se incluye los siguientes textos: Modelos para la generación de pruebas funcionales y de seguridad; Ingeniería de seg...
محفوظ في:
| مؤلفون مشاركون: | , |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | وقائع المؤتمر كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Cham, Suiza :
Springer,
2014, c2014
|
| سلاسل: | (Lecture Notes in Computer Science.
8604) |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Ver documento en línea |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| الملخص: | Selección de ponencias impartidas en las Escuelas Internacionales sobre Fundamentos del Análisis y Diseño de Seguridad, celebradas en Bertinoro, Italia, en septiembre de 2012 y 2013. Se incluye los siguientes textos: Modelos para la generación de pruebas funcionales y de seguridad; Ingeniería de seguridad basada en modelos: coevolución gestionada del conocimiento de seguridad y modelos de software; Verificación automática de protocolos de seguridad en el modelo simbólico; JavaScript defensivo; Control de flujo de información para secuencias de comandos web; EasyCrypt: un tutorial; Votación criptográfica: una introducción suave; Cifrado y fragmentación para la confidencialidad de los datos en la nube; Privacidad de ubicación en WSN: soluciones, desafíos y tendencias futuras. |
|---|---|
| وصف مادي: | 1 libro electrónico en línea (VIII, 282 p.) 1 recurso en línea |
| ردمك: | 978-3-319-10082-1 |
| وصول: | Licencias ilimitadas |