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.

Il contenuto (Full text) non è disponibile all'interno di questo archivio.
Tipologia del documento: Contributo a Convegno o Workshop ([non definito])
Lingua: English
Titolo: Timed HLPSL for specification and verification of time sensitive protocols
Autori:
AutoreEmail
Benerecetti, Massimo[non definito]
Peron, Adriano[non definito]
Autore/i: M. Benerecetti, N. Cuomo, A. Peron
Data: 2006
Numero di pagine: 0
Dipartimento: Scienze fisiche
Titolo dell'evento: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis
Luogo dell'evento: Seattle, USA
Data dell'evento: 15-16 August, 2006
Data: 2006
Intervallo di pagine: pp. 309-326
Numero di pagine: 0
Depositato il: 21 Ott 2010 09:02
Ultima modifica: 30 Apr 2014 19:43
URI: http://www.fedoa.unina.it/id/eprint/7797

Actions (login required)

Modifica documento Modifica documento