Automated trust negotiation in identity federations using OWL-based abduction of missing credentials | IEEE Conference Publication | IEEE Xplore