Design requirements to counter parallel session attacks in security protocols | IEEE Conference Publication | IEEE Xplore