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: | Autore Email 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 |
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
