To infinity and beyond or, avoiding the infinite in security protocol analysis.

James Heather, Steve A. Schneider

Browse the full SAC paper archive.