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)
Language: English
Title: Timed HLPSL for specification and verification of time sensitive protocols
Creators:
CreatorsEmail
Benerecetti, MassimoUNSPECIFIED
Peron, AdrianoUNSPECIFIED
Autor/s: M. Benerecetti, N. Cuomo, A. Peron
Date: 2006
Number of Pages: 0
Department: Scienze fisiche
Event Title: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis
Event Location: Seattle, USA
Event Dates: 15-16 August, 2006
Date: 2006
Page Range: pp. 309-326
Number of Pages: 0
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