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.
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, M. [non definito] Cuomo, N. [non definito] Peron, A. [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 |
| Data dell'evento: | August 15-16, 2006 |
| Data: | 2006 |
| Intervallo di pagine: | pp. 309-326 |
| Numero di pagine: | 0 |
| Depositato il: | 21 Ott 2010 09:02 |
| Ultima modifica: | 31 Ago 2026 10:48 |
| URI: | https://www.fedoa.unina.it/id/eprint/7798 |
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
