Kikuchi et al. [14] present a secure chat protocol that extends the Diffie-Hellman key exchange in order to thwart
a malicious administrator. PFC could also be implemented using a Diffie-Hellman key exchange. We chose a key server
approach instead to prevent an active man-in-the-middle attack on the basic Diffie-Hellman protocol.