Alice $to$ Bob $-$ I'mAlice

Bob $to$ Alice $-[T,K{]}_{\text{B}\text{o}\text{b}}$

Alice $to$ Bob $-[T+1{]}_{\text{A}\text{l}\text{i}\text{c}\text{e}}$

Where T is the Timestamp, K is the session Key,

$.$