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

Keyphrases

• Compliance Checking 100%
• Code-based 100%
• Secure Data 100%
• Automatic Mapping 100%
• Level Model 66%
• Security Properties 33%
• Publicly Available 33%
• International Conference 33%
• Architectural Design 33%
• Software Design 33%
• Search Space 33%
• Divergence 33%
• System Implementation 33%
• Model Elements 33%
• Data Matching 33%
• Code Element 33%
• Model Security 33%
• Design Level 33%
• Model-driven Engineering 33%
• Engineering Language 33%
• Engineering Systems 33%
• Data Flow Diagram 33%
• Program Model 33%
• Model Code 33%
• Heuristic Rules 33%
• Java Projects 33%
• Compliance Violation 33%

Computer Science

• Critical Software 100%
• Data Flow Diagram 100%