Secure abstraction views for scientific workflow provenance querying | IEEE Journals & Magazine | IEEE Xplore