Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols

Résumé

"Internet of Services" (IoS) is a vision of the Internet of the Future where applications are built by combining services provided by a variety of service providers over the network. They are deployed as needed and consumed at run-time in a demand-driven and flexible way. Model-based testing is one method for testing security of applications but it needs formal models and most of the time service providers are not able to provide them. For that, model inference methods adapted to security testing can be used. This document tries to give some directions in order to combine enhanced model inference and model testing to ensure security of services automatically.
Fichier non déposé

Dates et versions

hal-00860800 , version 1 (11-09-2013)

Identifiants

Citer

Karim Hossen, Roland Groz, Jean-Luc Richier. Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. SECTEST 2011 - 2nd International Workshop on Security Testing (part of ICSTW), Mar 2011, Berlin, Germany. pp.534-536, ⟨10.1109/ICSTW.2011.83⟩. ⟨hal-00860800⟩
120 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More