Formal Aspects In Security And Trust by