A FRAMEWORK FOR THE ANALYSIS OF SECURITY PROTOCOLS