Cerca
Items 1-4 di 4
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 ...
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 ...
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 ...
Methods and algorithms for behavioral modeling of ferrite power inductors
(Universita degli studi di Salerno, 2019-03-12)
Information technology allows solving numerous problems regarding all the
aspects of everyday life, including technical activities related to the design
of devices and systems. In the electronic eld, di erent types of ...