Strand spaces and rank functions:more than distant cousins
James Heather · 2005
The strand spaces model and the rank functions model have both been used successfully to analyse and verify se-curity protocols running on unbounded networks. At first sight, these two approaches appear rather different; how-ever, close inspection reveals that there are strong links be-tween strand spaces and rank functions. 1.