Service Provider/Initial States Complete - Intruder is not yet