@misc {IOPORT.70836065,
    author       = {J\"urjens, Jan and Lehrhuber, Markus and Wimmel, Guido},
    title        = {Model-based design and analysis of permission-based security},
    howpublished = {ICECCS, 224-233 (2005).},
    year         = {2005},
    doi          = {10.1109/ICECCS.2005.61},
    identifier   = {70836065},
}