A Trace Based Bisimulation for the Spi Calculus

15 January 2009

Papers citing "A Trace Based Bisimulation for the Spi Calculus"

1 / 1 papers shown

Title
A proof theoretic analysis of intruder theories Alwen Tiu R. Goré 136 25 0 02 Apr 2008