Secure shared data-space Coordination Languages: a Process Algebraic survey