Automated analysis of security protocols with global state. - Kremer, Steve; Künnemann, Robert (Journal of Computer Security, 2016)