Extended Proxy-tester

We present a proxy-tester, which is an engine for ioco-passive testing. We show characteristics of soundness and completeness of our approach with respect to the ioco-testing relation. Later, we present a novel framework that combines our ioco-passive tester with the check of possible attacks from m...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Brandán Briones, Laura, Madalinsk, Agnes
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2017
Materias:
Ciencias Informáticas
ioco-passive testing
attacks
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/66157
http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/ASSE/asse-14.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares