1. A Petri Net Representation of the Take-Grant Model;Marc,1993
2. Security analysis of mandatory access control model;Yixin,2004
3. Foundations of attack–defense trees;Kordy,2010
4. Foundations of attack trees;Mauw,2005
5. Modeling and quantification of security attributes of software systems;Madan,2002