bibtex

@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},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1112416