a comprehensive security analysis of an architecture. Jie Ren and Richard
Taylor at University of California at Irvine have defined xADL (eXtensible
Architecture Description Language) [219] for modeling subjects, resources,
privileges, safeguards, and policies. xADL models are also intended to facilitate