K_msg = KDF (KDF (KDF (K, l1, 0x00 | i1), l2, i2), l3, i3)