1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2016★ 1 cited
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version)
Carlo Combi, Luca Viganó, Matteo Zavatteri
Workflows and role-based access control models need to be suitably merged, in order to allow users to perform processes in a correct way, according to the given data access policie…
cs.CR2014
Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)
Michele Peroli, Luca Viganò, Matteo Zavatteri
Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it…