Strand spaces and rank functions:more than distant cousins

J. Heather
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15  
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, these two approaches appear rather different; however, close inspection reveals that there are strong links between strand spaces and rank functions.
doi:10.1109/csfw.2002.1021810 dblp:conf/csfw/Heather02 fatcat:stky63ycgvfp7jedjubztoktyu