Formal Aspects In Security And Trust door