SysML-SecDescribes security relevant information such as requirements, attack tress and specifications for a system based on SysML. Analyzes based on the models whether the requirements and the security objectives, such as confidentiality and authenticity, are maintained while considering attackers. |  |
Security DSLs provided by the Tool
Name
Description
A security extension to SysML. Tasks and hardware nodes are modeled using SysML blocks, allocations are modeled with SysML allocate relationships, and security requirements are modeled in SysML Requirement Diagrams.
Security Checks provided by the Tool
Name
Description
Verifies whether the designed system does not enable exposure of confidential attributes through messages to an attacker.
Verifies whether the designed system does maintain the authenticity of messages.