Cerca
Items 1-5 di 5
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 ...
Models and Algorithms for Some Covering Problems on Graphs
(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 ...
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 ...