Model-Based Design and Analysis of Permission-Based Security.

Jan Jrjens, Markus Lehrhuber, Guido Wimmel

Browse the full ICECCS paper archive.