Verification of Usage Control Properties through Static Code Analysis
Verification of Usage Control Properties through Static Code Analysis
| Supervisor(s): | Maximilian Kaul, Gerd Brost |
| Status: | inprogress |
| Topic: | Others |
| Author: | Christopher El Abiary |
| Submission: | 2025-04-25 |
| Type of Thesis: | Bachelorthesis |
Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching
|
|
Description |
|