Automating Open Bisimulation Checking for the Spi Calculus | IEEE Conference Publication | IEEE Xplore