Now showing items 1-3 of 3
Model Checking Cyber-Physical Systems
(Universita degli studi di Salerno, 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 ...
Improvement in the management of cryptographic keys in a HSM and proposal of an Outdoor Position Certification Authority
(Universita degli studi di Salerno, 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 ...
On Provable Security of Entity Authentication Schemes
(Universita degli studi di Salerno, 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 ...