Jan Jürjens. Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 36-50, Springer, 2008. [doi]
@inproceedings{Jurjens08:0,
title = {Model-Based Run-Time Checking of Security Permissions Using Guarded Objects},
author = {Jan Jürjens},
year = {2008},
doi = {10.1007/978-3-540-89247-2_3},
url = {http://dx.doi.org/10.1007/978-3-540-89247-2_3},
tags = {rule-based, model checking, meta-model, object-role modeling, security, Meta-Environment},
researchr = {https://researchr.org/publication/Jurjens08%3A0},
cites = {0},
citedby = {0},
pages = {36-50},
booktitle = {Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers},
editor = {Martin Leucker},
volume = {5289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89246-5},
}