DCRYPPS is an ongoing project to mobilize knowledge of systems designed using industry modeling languages, such as AADL and SYSML, to automatically find cyber vulnerabilities and to produce requirements for securing the design. The approach translates the models into Pamela where DOLL’s generative planner plans attacks on the system design. The result is an attack graph which is then used to produce the requirements.
Click here to view our Demo