CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Guardado en:
Detalles Bibliográficos
Autor principal: Waquim, Pedro Eduardo
Otros Autores: D'Argenio, Pedro Ruben
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2024
Materias:
Redes de comunicación informática
Seguridad
Sistemas distribuidos
Ingeniería de software
Verificación de programas
Propiedades de alcanzabilidad
Modelos probabilistas
Modelos no deterministas
Computer communications networks
Distributed systems
Software engineering
Program verification
Security and protection
Acceso en línea:http://hdl.handle.net/11086/551674
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares