Automated analysis of some security mechanism of SCEP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Automated analysis of some security mechanism of SCEP (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2002-01-01T00:00:00+01:00 (literal)
Alternative label
  • Martinelli F., Petrocchi M., Vaccarelli A. (2002)
    Automated analysis of some security mechanism of SCEP
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Martinelli F., Petrocchi M., Vaccarelli A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical Report 2002-TR-12 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • In this paper we analyze SCEP, the Simple Certificate Enrollment Procedure, a two-way communication protocol to manage the secure emission of digital certificates to network devices. The protocol provides a consistent method of requesting and receiving certificates from different Certification Authorities, by offering an open and scalable solution for deploying certificates. It can be bene- ficial to all network devices and IPSEC software solutions. We formally analyze SCEP through a software tool for the automatic analysis of cryptographic protocols, able to discover, at a conceptual level, attacks against security procedures. Our method of survey contributes towards a better understanding of the structure and the aims of a protocol, both for protocol developers, analyzers and final users. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Memorie interne (literal)
Titolo
  • Automated analysis of some security mechanism of SCEP (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it