Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings

Keyphrases

• Compliance Checking 100%
• Code-based 100%
• Level Model 66%
• Security Properties 33%
• Publicly Available 33%
• Programming Model 33%
• Design Model 33%
• Architectural Design 33%
• Software Design 33%
• Eclipse Plug-in 33%
• Software Implementation 33%
• Search Space 33%
• Divergence 33%
• System Implementation 33%
• Model Elements 33%
• Design Codes 33%
• Data Matching 33%
• Code Element 33%
• Design Level 33%
• Data Flow Diagram 33%
• Model Code 33%
• Heuristic Rules 33%
• Secure Storage 33%
• Asset Flows 33%
• Security Data 33%
• Name Similarity 33%
• Flow Structure 33%
• Critical Software 33%
• Element Element 33%
• Security-critical 33%
• Model Security 33%

Computer Science

• Compliance Check 100%
• Security Properties 50%
• Open Source 50%
• Software Design 50%
• Implementation Level 50%
• Software Implementation 50%
• Search Space 50%
• System Implementation 50%
• Architectural Design 50%
• Level Design Model 50%
• Critical Software 50%
• Data Flow Diagram 50%