QL-SimP: Query Language for Secure Interoperable Multi-Granular Provenance Framework · Study