Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno)

Type
Label
  • Automated analysis of some security mechanisms of SCEP (Contributo in atti di convegno) (literal)
Anno
  • 2002-01-01T00:00:00+01:00 (literal)
Alternative label
  • Martinelli F., Petrocchi M, Vaccarelli A. (2002)
    Automated analysis of some security mechanisms of SCEP
    in 5a Information Security Conference (ISC02), San Paolo
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Martinelli F., Petrocchi M, Vaccarelli A. (literal)
Pagina inizio
  • 414 (literal)
Pagina fine
  • 427 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F3-540-45811-5_32 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Information Security Lecture Notes in Computer Science Volume 2433 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • IIT CNR (literal)
Titolo
  • Automated analysis of some security mechanisms of SCEP (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 3-540-44270-7 (literal)
Abstract
  • The paper analyzes 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 which can be beneficial 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 aims of a protocol both for developers, analyzers and final users. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it