Bridging Language-Based and Process Calculi Security