IIT Home Page CNR Home Page

ARTIST2 2006 su sicurezza di sistemi embedded

The workshop focused on the formal specification and verification of security properties, and in particular on the specification and formal verification of security protocols. (http://www.artist-embedded.org/FP6/ARTIST2Events/PastEvents/Security-Pisa/)


Dal 18/05/2006 al 18/05/2006, Pisa