Formelle Sicherheit von Online/Smartphone Brokern