• English
    • italiano
  • English 
    • English
    • italiano
  • Login
Search 
  •   DSpace Home
  • Tesi di dottorato
  • Area Ingegneria civile, elettronica, industriale
  • Search
  •   DSpace Home
  • Tesi di dottorato
  • Area Ingegneria civile, elettronica, industriale
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-3 of 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
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsBy Submit DateThis CommunityBy Issue DateAuthorsTitlesSubjectsBy Submit Date

My Account

LoginRegister

Discover

AuthorDriouich, Youssef (1)Flores, Manuela (1)Mannetta, Marco (1)Subject
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