SAL for SMOLES
A framework to incorporate security modeling into embedded system design. The framework provides the Security Analysis Language (SAL) that is integrated with the Simple Modeling Language for Embedded Systems (SMOLES).
Security DSLs provided by the Tool
Name
Description
Allows to analyze the flow of data objects through a system and identifying points in a distributed system that are vulnerable to attack.
Security Checks provided by the Tool
Name
Description