1
Publications
16
Citations
1
H-Index
2017
Active since
Affiliations
Mattia Salnitriy is an author at Fraunhofer Institute for Software and Systems Engineering specializing in data security, information security, and formal verification.
Top concepts
SecurityEngineeringVerificationData SecuritySoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystem Architecture
Publications per year
2017–2017
1
1
From Secure Business Process Modeling to Design-Level Security Verification
Qusai Ramadan, Mattia Salnitriy, Daniel Strüber et al. · 2017 · 16 citations · Full text
Rows per page
1–1 of 1