Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Risultati: 1 - 3 di 3
  • Precedente
  • 1
  • Successivo
Documenti rinvenuti:
Data di edizioneTitoloAutore/i
6-mar-2019On Provable Security of Entity Authentication SchemesFlores, Manuela; Chiacchio, Pasquale; Masucci, Barbara
7-mar-2019Improvement in the management of cryptographic keys in a HSM and proposal of an Outdoor Position Certification AuthorityMannetta, Marco; Chiacchio, Pasquale; De Prisco, Roberto
12-mar-2019Model Checking Cyber-Physical SystemsDriouich, Youssef; Chiacchio, Pasquale; Parente, Domenico