spec: mention more EF to invalidate
diff --git a/docs/imsi-pseudo-spec.adoc b/docs/imsi-pseudo-spec.adoc
index cc2be96..39ccac8 100644
--- a/docs/imsi-pseudo-spec.adoc
+++ b/docs/imsi-pseudo-spec.adoc
@@ -213,9 +213,10 @@
otherwise the SMS should not be processed further.
The SIM applet registers a timer with min_sleep_time from the SMS. When the
-timer triggers, the IMSI of the SIM is overwritten with the new pseudonymous
-IMSI, the TMSI and GSM Ciphering key Kc (3GPP TS 31.102, Section 4.4.3.1) are
-invalidated. The current imsi_pseudo_i from the SMS is stored in the SIM applet
+timer triggers, EF~IMSI~ of the SIM is overwritten with the new pseudonymous
+IMSI. The TMSI and related data (EF~LOCI~, EF~PSLOCI~) and ciphering keys
+(EF~Kc~, EF~KcGPRS~, EF~Keys~, EF~KeysPS~) are invalidated (see 3GPP TS
+31.102). The current imsi_pseudo_i from the SMS is stored in the SIM applet
to compare it with the next SMS. imsi_pseudo_lu is reset to 0. Afterwards,
the EF~IMSI~ changing procedure in 3GPP TS 11.14, Section 6.4.7.1 is executed
to apply the new IMSI.
diff --git a/sim-applet/src/org/osmocom/IMSIPseudo/IMSIPseudo.java b/sim-applet/src/org/osmocom/IMSIPseudo/IMSIPseudo.java
index 7b13f85..27038ac 100755
--- a/sim-applet/src/org/osmocom/IMSIPseudo/IMSIPseudo.java
+++ b/sim-applet/src/org/osmocom/IMSIPseudo/IMSIPseudo.java
@@ -214,6 +214,7 @@
invalidateTMSI((short)SIMView.FID_EF_LOCIGPRS);
invalidateKc((short)SIMView.FID_EF_KC);
invalidateKc((short)SIMView.FID_EF_KCGPRS);
+ /* FIXME: also invalidate EF_KEYS, EF_KEYS_PS */
refreshIMSI();
} catch (Exception e) {
showError((short)42);