Contributo a Convegno o Workshop

Benerecetti, M. and Cuomo, N. and Peron, A. (2006) Timed HLPSL for specification and verification of time sensitive protocols. In: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, August 15-16, 2006, Seattle.