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...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2017
|
| Materias: | |
| 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: |
| Sumario: | 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 malicious users. |
|---|