• English
    • italiano
  • italiano 
    • English
    • italiano
  • Login
Cerca 
  •   DSpace Home
  • Tesi di dottorato
  • Cerca
  •   DSpace Home
  • Tesi di dottorato
  • Cerca
JavaScript is disabled for your browser. Some features of this site may not work without it.

Cerca

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Items 1-3 di 3

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Model Checking Cyber-Physical Systems 

Driouich, Youssef (2019-03-12)
Cyber-Physical Systems (CPSs) are integrations of computation with physical processes. Applications of CPS arguably have the potential to overshadow the 20-th century IT revolution. Nowadays, CPSs application to many sectors ...
Thumbnail

On Provable Security of Entity Authentication Schemes 

Flores, Manuela (2019-03-06)
Entity authentication is the process allowing a user, in a distributed system, to gain confidence in the identity of one (or more) communication user. Such a process may be either unilateral (the users are involved in a ...
Thumbnail

Improvement in the management of cryptographic keys in a HSM and proposal of an Outdoor Position Certification Authority 

Mannetta, Marco (2019-03-07)
The following doctoral thesis comprises two distinct sections, both describing a specific applied research concerning the macro-theme of computer security. The first section describes a proposal for the improvement and ...
EleA themes by Ugsiba
 

 

Ricerca

Tutto DSpaceArchivi & CollezioniData di pubblicazioneAutoriTitoliSoggettiData di immissioneQuesta comunitàData di pubblicazioneAutoriTitoliSoggettiData di immissione

My Account

LoginRegistrazione

Discover

AutoreDriouich, Youssef (1)Flores, Manuela (1)Mannetta, Marco (1)Soggetto
INF/01 INFORMATICA (3)
Authentication schemes (1)Automatic verification (1)Cryptographic (1)Cyber-physical systems (1)Formal-methods (1)GNSS (1)HSM (1)One-time password (1)Provable security (1)... View MoreDate Issued
2019 (3)
Has File(s)
Yes (3)
EleA themes by Ugsiba