Martinelli F., Petrocchi M., Vaccarelli A. Automated analysis of some security mechanism of SCEP. Technical report, 2002.

---

Full Bibliographic record

1) Download Document PDF

---

Open access Restricted No access

 

---

Per ulteriori informazioni, contattare: Librarian	http://puma.isti.cnr.it
CNR Pub Digital Library Powered by OCTOPUS System	Copyright © 2003-2004. All rights reserved by S.C.