The tool provides the capability to model the attack surface of a system with its related software architecture. It is able to show the architecture, the vulnerabilities of all components and how they affect each other. The tools proposes two representations: attack impact and attack tree. The tool also includes a code generator to create configuration and executable code of a software architecture on top of seL4, a secure micro-kernel. Raymond Taylor rtaylor@andrew.cmu.edu 412-268-2000
Smart, interactive desk
Get ready to take your space management game to the next level with the University of Glasgow’s innovative project! By combining the