_____________________________________________________________________
SUMMARY
The DYNOST project focuses on the security of the Android software stack. The goal of the project is to develop dynamically adaptive security systems which modify their behaviour and structure according to an adaptation logic in response to changes in their surrounding environment. Currently, the project team is working on developing tools for in-vivo security analysis for smartphones.
_____________________________________________________________________
SOLUTIONS
- Proposing a fault model for adaptation logics which classifies faults into environmental completeness and adaptation correctness
- Expressing the underlying concepts behind adaptation logic in a meta-model
- Developing a static analysis tool which computes the appropriate permission set for an Android application by analysing its byte-code
_____________________________________________________________________
LINK: https://sites.google.com/site/servalteam/projects/dynost
_____________________________________________________________________
