Model-based Run-time Checking of Security Permissions using Guarded Objects
Martin Leucker (Hrsg). Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Berlin: Springer 2008 S. 36 - 50
Erscheinungsjahr: 2008
ISBN/ISSN: 978-3-540-89246-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-540-89247-2_3
| Geprüft | Bibliothek |
