A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Automated Analysis of Security Protocols with Global State
2014
2014 IEEE Symposium on Security and Privacy
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 register. However, existing automated verification tools do not support the analysis of such stateful security protocols -sometimes because of fundamental reasons, such as the encoding of the protocol as Horn clauses, which are inherently monotonic. An exception is the recent tamarin prover which allows specifying protocols
doi:10.1109/sp.2014.18
dblp:conf/sp/KremerK14
fatcat:i5gq75vqxrcnll4cpodiryk6iy