Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification