Automated analysis of security protocols with global state

Steve Kremer, Robert Künnemann

Security APIs, key servers and protocols that need to keep the status of transactions, require to maintain a global, non-monotonic state, e.g., in the form of a database or registe…