| TÃtulo : |
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Cybenko, George, ; Pym, David, ; Fila, Barbara, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XI, 131 p. 56 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-15465-3 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Programación informática Inteligencia artificial Aspectos Legales de la Computación Compiladores e intérpretes Técnicas de programación Computer crime Seguridad de datos e información TecnologÃa de la información Compiladores (programas informátic |
| Ãndice Dewey: |
005.8 Ciencia de los computadores (Programación, programas de sistemas) |
| Resumen: |
Este libro constituye artÃculos seleccionados revisados ​​del 5.º Taller Internacional sobre Modelos Gráficos para la Seguridad, GraMSec 2018, celebrado en Oxford, Reino Unido, en julio de 2018. Los 7 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. El libro también contiene una charla invitada. Las contribuciones tratan sobre las últimas investigaciones y desarrollos sobre modelos gráficos para seguridad. |
| Nota de contenido: |
Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins -- Deciding the Non-Emptiness of Attack trees -- Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures -- Disclosure Analysis of SQL Workflows -- On Linear Logic, Functional Programming, and Attack Trees -- The Attacker Does Not Always Hold the Initiative: Attack Trees with External Refinement -- A State Machine System for Insider Threat Detection. . |
| En lÃnea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers [documento electrónico] / Cybenko, George, ; Pym, David, ; Fila, Barbara, . - 1 ed. . - [s.l.] : Springer, 2019 . - XI, 131 p. 56 ilustraciones. ISBN : 978-3-030-15465-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |