Cerca
Items 1-4 di 4
New Insights on cryptographic hierarchical access control: models, schemes and analysis
(2016-05-24)
Nowadays the current network-centric world has given rise to several
security concerns regarding the access control management, which ensures that only authorized users are given access to certain resources
or tasks. In ...
The Role of Distributed Computing in Big Data Science: Case Studies in Forensics and Bioinformatics
(2016-05-24)
The era of Big Data is leading the generation of large amounts of data,
which require storage and analysis capabilities that can be only ad-
dressed by distributed computing systems. To facilitate large-scale
distributed ...
Synthesis of recursive state machines from libraries of game modules
(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 modular ...
Augmenting the Internet with a Trust Ecosystem for inter pares interactions
(2016-05-23)
The Internet is an extraordinary communications medium but it is not free from
problems that are limiting its potential further development. In this dissertation we
analyze and address some of the issues that make it an ...