5 citations · 17 across the 7 of their papers we have counts for
4 papers · 1 filter
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
Andrea Margheri, Massimiliano Masi, Rosario Pugliese +1
Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resourc…
On Properties of Policy-Based Specifications
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity…
Blind-date Conversation Joining
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to…
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…