SpiDer: a security model checker (Contributo in atti di convegno)

Type
Label
  • SpiDer: a security model checker (Contributo in atti di convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Alternative label
  • Lenzini G., Gnesi S., Latella D. (2003)
    SpiDer: a security model checker
    in 1st International Workshop on Formal Aspects in Security and Trust FAST 2003, Pisa
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Lenzini G., Gnesi S., Latella D. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • A2-48 (literal)
Titolo
  • SpiDer: a security model checker (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it