Marco Squarcina

  • Citations Per Year
Learn More
Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, verifying that such systems enforce the desired invariants is recognized as a security problem of crucial importance. In the present paper, we develop a framework for the formal(More)
In this paper, we consider the problem of gathering mobile agents in a graph in the presence of mobile faults that can appear anywhere in the graph. Faults are modeled as a malicious mobile agent that attempts to block the path of the honest agents and prevents them from gathering. The problem has been previously studied by a subset of the authors for(More)
The authors reported the outcome of a retrospective study of patients with HELLP syndrome to verify whether this pathology is a clinical entity with models of evolution, regression and well defined treatment. A total of 20 individual cases were reported at the Division of Obstetrics and Gynecology at the G. Gaslini Institute during the period from January(More)
In this article, we survey the most common attacks against web sessions, that is, attacks that target honest web browser users establishing an authenticated session with a trusted web application. We then review existing security solutions that prevent or mitigate the different attacks by evaluating them along four different axes: protection, usability,(More)