A password-authenticated secure channel for App to Java Card applet communication. Issue 4 (2nd November 2015)