Strand Spaces and Rank Functions: More than Distant Cousins

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.

• Type: Conference
• Year: 2002
• Where: CSFW
• Authors: James Heather
• Keywords: CSFW 2002, Rank Functions, Security Privacy, Strand Spaces, Strand Spaces Model