@inproceedings{MNB+8b,
title = { Mitigating Security Risks Through Attack Strategies Exploration },
author = {Mediouni, Braham Lotfi and Nouri, Ayoub and Bozga, Marius and Legay, Axel and Bensalem, Saddek},
year = {2018},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {II}},
pages = {392--413},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11245},
team = {RSD},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009780
|
|
|