...
机译:Checking security compliance between models and code
Vrije Universiteit Amsterdam;
Ruhr University Bochum;
Radboud University Nijmegen||Chalmers | Gothenburg UniversityHamburg University of TechnologyUniversity of Koblenz-Landau||Fraunhofer Institute for Software and Systems Engineering ISST;
Security-by-design; Security compliance; Data flow diagram (DFD); Static program analysis;