Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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 and Cuomo, Nicola and Peron, Adriano (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione in rivista scientifica]

Benerecetti, Massimo and 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 Wed Oct 16 22:53:36 2019 CEST.