Improvements of authentication tests on detecting type flaw attacks | IEEE Conference Publication | IEEE Xplore