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.
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | bachelorThesis biblioteca |
Language: | spa |
Published: |
2014-03-20
|
Subjects: | 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, |
Online Access: | http://hdl.handle.net/11086/551674 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|