I'm currently trying to understand WPA-2 and I've discovered that it's built on the EAP-PSK protocol which sets up some keys derived from the SSID name and a password.
I assume that the keys derived from EAP-PSK, namely AK and TEK, are used in the 4-way handshake to verify that the 2 parties have generated on each derivative level the correct keys (KDK vs MSK and EMSK). (see the RFC)
What I don't understand is which type of key is used for message encryption in WPA2-PSK after the 4-way handshake is successful. Is it through extended authentication with TEK key?
Edit: I am aware of this question and the book presented in the voted answer. Unfortunately, the book has different notations compared to the RFC and I'm looking for a more precise answer that tells me exactly which is the key used in the encryption after the handshake is successful.