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:- |
|