Modeling Privacy Aware Information Sharing Systems: A Formal and General Approach | IEEE Conference Publication | IEEE Xplore