Protocol Security Testing with SPIN and TTCN-3 | IEEE Conference Publication | IEEE Xplore