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

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Date Deposited: 21 Oct 2010 09:02
Last Modified: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7797

Actions (login required)

View Item View Item