Secured IP address resolution

The KDC could replace the name server.
KRB_AS_REQ is sent to the KDC when the devices connect to the network.
It could be used to register the IP address to the KDC.
KRB_TGS_REQ is sent to the KDC when the devices initiate a communication with the other.
It could be used to resolve IP addresses.