TUM Logo

Semi-Automated Detection of Sanitization, Authentication and Declassification Errors in UML State Charts

-

Semi-Automated Detection of Sanitization, Authentication and Declassification Errors in UML State Charts

Supervisor(s): Paul Muntean
Status: finished
Topic: Others
Author: Adnan Rabbi
Submission: 2015-11-15
Type of Thesis: Masterthesis
Proof of Concept No

Astract:

-