Alice


(KAS) 0


Server






Alice (KAS)
Bob (KBS)


Bob


(KBS) 0