Jan Jürjens. Model-based Security Testing Using UMLsec: A Case Study. Electronic Notes in Theoretical Computer Science, 220(1):93-104, 2008. [doi]
@article{Jurjens08,
title = {Model-based Security Testing Using UMLsec: A Case Study},
author = {Jan Jürjens},
year = {2008},
doi = {10.1016/j.entcs.2008.11.008},
url = {http://dx.doi.org/10.1016/j.entcs.2008.11.008},
tags = {rule-based, case study, testing, security},
researchr = {https://researchr.org/publication/Jurjens08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {1},
pages = {93-104},
}