A logic-based framework to enable attribute assurance for digital identities in service-oriented architectures and the web. - Ivonne Scherfenberg (2012)