Answers are grounded in this paper and cite their sources.
This thesis is about the application of automated reasoning techniques to the formal analysis of security protocols. More in detail, it proposes a general model-checking framework for security protocols based on a set-rewriting formalism that, couple
No takes yet. Share an insight, caveat, or question.
Roberto Carbone (2011) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: