Browsing Informatica by Title

Now showing items 19-38 of 41

    • ID-Based Key Agreement for WANETs 

      Rossi, Francesco (Universita degli studi di Salerno, 2015-04-24)
      The increasing interest about wireless ad hoc networks (WANETs) is due to some key features not owned by traditional networks such as nodes mobility, network self-organization and the ability to rely on infrastructure-less ...

    • Improving Network Anomaly Detection with Independent Component Analysis 

      Fiore, Ugo (Universita degli studi di Salerno, 2015-05-04)
      Complexity, sophistication, and rate of growth of modern networks, coupled with the depth, continuity, and pervasiveness of their role in our everyday lives, stress the importance of identifying potential misuse or threats ...

    • Intelligent technologies for threat detection in networks security scenarios 

      Robustelli, Antonio (Universita degli studi di Salerno, 2023-06-08)
      The advent of the Internet of Things (IoT), with the consequent changes in network architectures and communication dynamics, has strongly conditioned the security market by radically shifting traditional per- ceptions ...

    • Knowledge management and Discovery for advanced Enterprise Knowledge Engineering 

      Novi, Daniele (Universita degli studi di Salerno, 2014-05-02)
      The research work addresses mainly issues related to the adoption of models, methodologies and knowledge management tools that implement a pervasive use of the latest technologies in the area of Semantic Web for the ...

    • Logit dynamics for strategic games mixing time and metastability 

      Ferraioli, Diodato (Universita degli studi di Salerno, 2012-04-18)
      A complex system is generally de_ned as a system emerging from the interaction of several and di_erent components, each one with their properties and their goals, usually subject to external inuences. Nowadays, complex ...

    • Metodi matematici e tecnologie per la trasformazione digitale e le tokenizzazioni 

      Rapuano, Antonio (Universita degli studi di Salerno, 2023-03-08)
      This work has a two-fold objective, achieved through two lines of research. The first, purely industrial, focuses on the technical-scientific difficulties related to collecting, tokenizing, and producing value from ...

    • Models and Algorithms for Some Covering Problems on Graphs 

      Silvestri, Selene (Universita degli studi di Salerno, 2016-05-12)
      Several real-life problems as well as problems of theoretical importance within the field of Operations Research are combinatorial in nature. Combinatorial Optimization deals with decision-making problems defined on a ...

    • Multi-biometric systems integrating fixed cameras, mobile devices, and drones 

      De Maio, Luigi (Universita degli studi di Salerno, 2022-05-09)
      To identify a person by means of fully automatic systems is still an open problem and a matter of social concern. Many of the approaches coping with this problem are based on the combination of biometrics and computer ...

    • Network anaomaly detection based on the observation of multi-scale traffic dynamics 

      Palmieri, Francesco (Universita degli studi di Salerno, 2012-03-03)
      Con la sempre più rapida crescita in termini di dimensioni e complessità delle moderne infrastrutture di rete, l’attività di individuazione e prevenzione di abusi e violazioni nell’uso di tali infrastrutture sta diventando ...

    • New Insights on cryptographic hierarchical access control: models, schemes and analysis 

      Castiglione, Arcangelo (Universita degli studi di Salerno, 2016-05-24)
      Nowadays the current network-centric world has given rise to several security concerns regarding the access control management, which en- sures that only authorized users are given access to certain resources or tasks. ...

    • New methods, techniques and applications for sketch recognition 

      De Rosa, Mattia (Universita degli studi di Salerno, 2014-04-24)
      The use of diagrams is common in various disciplines. Typical examples include maps, line graphs, bar charts, engineering blueprints, architects’ sketches, hand drawn schematics, etc.. In general, diagrams can be ...

    • On the evolution of digital evidence: novel approaches for cyber investigation 

      De Maio, Giancarlo (Universita degli studi di Salerno, 2014-04-23)
      Nowadays Internet is the fulcrum of our world, and the World Wide Web is the key to access it. We develop relationships on social networks and entrust sensitive documents to online services. Desktop applications are being ...

    • On the verification of parametric and real-time systems 

      Di Giampaolo, Barbara (Universita degli studi di Salerno, 2011-05-06)
      Parametric and Real-Time Systems play a central role in the theory underlying the Verification and Synthesis problems. Real-time systems are present everywhere and are used in safety critical applications, such as flight ...

    • Predicate encryption systems. No query left unanswered 

      Iovino, Vincenzo (Universita degli studi di Salerno, 2011-05-09)
      Predicate encryption is an important cryptographic primitive (see [7, 14, 28]) that enables fine-grained control on the decryption keys. Let T be a class of binary predicates. Roughly speaking, in a predicate encryption ...

    • Quality and Privacy-aware (Linked) Open Data Exploitation 

      Pellegrino, Maria Angela (Universita degli studi di Salerno, 2022-04-26)
      Data are the new oil and it is widely recognised the role of publishing them as Open Data to let data consumers freely access and exploit them. Data providers are not only encouraged to publish data but to ensure that ...

    • Secure End-to-End Communications in Mobile Networks 

      Petagna, Fabio (Universita degli studi di Salerno, 2011-05-06)
      Cellular communication has become an important part of our daily life. Besides using cell phones for voice communication, we are now able to access the Internet, conduct monetary transactions, send voice, video and ...

    • Security and Privacy Concerns within Smart Environments: User-Centered Approaches for Defining Secure Trigger-Action Programs 

      Breve, Bernardo (Universita degli studi di Salerno, 2023-06-13)
      The advent of the Internet of Things (IoT) paradigm has launched a new world of opportunities, bringing with it a new understand ing of objects and technology that, today, is all around us. In fact, especially in domestic ...

    • Synthesis of recursive state machines from libraries of game modules 

      De Crescenzo, Ilaria (Universita degli studi di Salerno, 2016-05-18)
      This thesis is focused on synthesis. In formal veri cation synthesis can be referred to the controller synthesis and the system synthesis. This work combines both this area of research. First we focus on synthesizing ...

    • Teamwork collaboration around simulation data in an industrial context 

      Pirozzi, Donato (Universita degli studi di Salerno, 2015-04-27)
      Nowadays even more small, medium and large enterprises are world-wide and com- pete on a global market. In order to face the new challenges, industries have multiple co-located and geographically dispersed teams that ...

    • Technical Debt in Software Development: A Multi-Perspective Investigation 

      Pecorelli, Fabiano (Universita degli studi di Salerno, 2022-03-25)
      I prodotti software devono essere costantemente manutenuti e aggiornati per sopravvivere e continuare a soddisfare le esigenze di aziende e utenti. Agli sviluppatori viene spesso richiesto di eseguire attività di ...