Funding
This research is partly supported by the AFOSR Young Investigator Award (FA9550-12-1-0327), NSF Expeditions in Computer Augmented Program Engineering (ExCAPE) project (ITR-1118996), NSF grants CNS-1040672, CNS-0845552, CCF-0820208, IIS-0812270, and the Presidio project (FA9550-08-1-0352) on Collaborative Policies and Assured Information Sharing.