Analysing Time Dependent Security Properties in CSP Using PVS.

Neil Evans, Steve A. Schneider

Browse the full ESORICS paper archive.