Alice


(KAS) 0


Server






Alice (KAS)
Bob (KBS)




Bob


(KBS) 0