ItalianoClear Cookie - decide language by browser settings
in titoli, abstract e parole chiave
Ricerca
Simple Search
Advanced Search
Ultime accessioni
Browse
Browse by Author
Browse by Subject
Browse by Year
Browse by Type
Browse by Accessibilità del full-text
Informazioni
Policy
About
FAQ
Contatti
[up] Up a level
Group by: Item Type | No Grouping
Jump to: Tesi di dottorato | Pubblicazione in rivista scientifica
Number of items: 3.

Tesi di dottorato

Cuomo, Nicola (2010) Verification of Timed Security Protocols. [Tesi di dottorato] (Unpublished)

Pubblicazione in rivista scientifica

Benerecetti, Massimo, Cuomo, Nicola and Peron, Adriano (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione in rivista scientifica]

Benerecetti, Massimo, Cuomo, Nicola and Peron, Adriano (2009) An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications. [Pubblicazione in rivista scientifica]

This list was generated on Thu May 21 04:05:42 2026 CEST.

fedOA is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility