PUBLIC KEY SMART CARD SECURE CHANNEL PROTOCOLS AND THE REAL WORLD