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...
Guardado en:
| Autores corporativos: | , |
|---|---|
| Andre forfattere: | , , |
| Format: | Procedimiento de la conferencia Bog |
| Sprog: | engelsk |
| Udgivet: |
Cham, Suiza :
Springer,
2014, c2014
|
| Serier: | (Lecture Notes in Computer Science.
8604) |
| Fag: | |
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | 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. |
|---|---|
| Fysisk beskrivelse: | 1 libro electrónico en línea (VIII, 282 p.) 1 recurso en línea |
| ISBN: | 978-3-319-10082-1 |
| Adgang: | Licencias ilimitadas |