Automated Analysis of Permission-Based Security Using UMLsec.

Jan Jrjens, Jrg Schreck, Yijun Yu

Browse the full FASE paper archive.