Timed Spi-Calculus with Types for Secrecy and Authenticity.

Christian Haack, Alan Jeffrey

Browse the full CONCUR paper archive.