Modeling Decentralized Information Flow in Ambient Environments -- Secure Profiles as a