Karim Hossen, Roland Groz, Jean-Luc Richier. Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. In Second International Workshop on Security Testing (SECTEST 2011), Workshop of the IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011), Pages 534-536, Berlin, Germany, March 2011.
Karim Hossen
Roland Groz
Jean-Luc Richier
@InProceedings{IEEE:conf:ICSTW:HossenGR11,
Author = {Hossen, Karim and Groz, Roland and Richier, Jean-Luc},
Title = {{Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols}},
BookTitle = {Second International Workshop on Security Testing (SECTEST 2011), Workshop of the IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011)},
Pages = {534--536},
Publisher = {IEEE},
Address = {Berlin, Germany},
Month = {March},
Year = {2011}
}
Get EndNote Reference (.ref)