Client/server chat program using attribute-based key exchange.