Cerca
Items 11-14 di 14
Teamwork collaboration around CAE models in an industrial context
(Universita degli studi di Salerno, 2017-09-05)
Medium and Large Companies must compete every day in a global context. To achieve
greater efficiency in their products/processes they are forced to globalize by opening
multiple locations in geographically distant places. ...
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 ...