Helge Janicke François Siewe Kevin Jones Antonio Cau Hussein Zedan Analysis and Run-Time Verification of Dynamic Security Policies. 92-103 2005 conf/damas/2005 DAMAS http://dx.doi.org/10.1007/11683704_8 db/conf/damas/damas2005.html#JanickeSJCZ05