free5GC/auth 5G_AKA Auth Implementation

From the code base /producer/ue_authentication.go, we see that the logic implemented in generating Kseaf and HXRES*. Is this a valid way of generating. Please share the specification/document reference for generating the above keys