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

id	I10-R141-11086-551674
record_format	dspace
spelling	I10-R141-11086-5516742024-05-01T06:38:57Z CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades Waquim, Pedro Eduardo D'Argenio, Pedro Ruben Pelozo, Silvia 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 Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Fil: Waquim, Pedro Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Presentamos una herramienta para analizar propiedades de seguridad en protocolos distribuidos. La herramienta está construida sobre los schedulers llamados fuertemente distribuidos, donde el secreto también es considerado. El secreto es presentado como una clase de equivalencia sobre acciones que las componentes no tienen acceso al él; sin embargo estas acciones pueden ser distinguidas por los que tienen autorización apropiada. También presentamos un algoritmo para resolver análisis de alcanzabilidad sobre estos tipos de modelo. El algoritmo codifica apropiadamente el modelo no determinista interpretando las decisiones de los schedulers como parámetros. El problema está en reducirlo a un problema de optimización polinomial. We present a tool for analyzing security properties in distributed protocols. The tool is built on the so-called strongly distributed schedulers, where secrecy is also considered. The secrecy is presented as an equivalence class over actions that components do not have access to; however these actions can be distinguished by those who have proper authorization. We also present an algorithm for solving reachability analysis over these types of model. The algorithm appropriately encodes the nondeterministic model by interpreting the schedulers' decisions as parameters. The problem is to reduce it to a polynomial optimization problem. Fil: Waquim, Pedro Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. 2024-04-30T15:03:42Z 2024-04-30T15:03:42Z 2014-03-20 bachelorThesis http://hdl.handle.net/11086/551674 spa Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	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
spellingShingle	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 Waquim, Pedro Eduardo CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
topic_facet	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
description	Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.
author2	D'Argenio, Pedro Ruben
author_facet	D'Argenio, Pedro Ruben Waquim, Pedro Eduardo
format	bachelorThesis
author	Waquim, Pedro Eduardo
author_sort	Waquim, Pedro Eduardo
title	CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
title_short	CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
title_full	CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
title_fullStr	CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
title_full_unstemmed	CLOUSEAU: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
title_sort	clouseau: verificación de propiedades de seguridad en protocolos distribuidos con probabilidades
publishDate	2024
url	http://hdl.handle.net/11086/551674
work_keys_str_mv	AT waquimpedroeduardo clouseauverificaciondepropiedadesdeseguridadenprotocolosdistribuidosconprobabilidades
_version_	1806948274860457984

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

Ejemplares similares