Just Fast Keying in the Pi Calculus