Timed Spi-Calculus with Types for Secrecy and Authenticity

Lecture Notes in Computer Science - CONCUR 2005 – Concurrency Theory ◽

10.1007/11539452_18 ◽

2005 ◽

pp. 202-216 ◽

Cited By ~ 8

Author(s):

Christian Haack ◽

Alan Jeffrey

Download Full-text