Modeling methods for computer systems currently have functional and feature limitations for secure design. This is because modeling computer systems accurately is complex and requires precision and a variety of features ...