100 citations · 143 across the 6 of their papers we have counts for
1 paper · 1 filter
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Our goal is to provide different semiring-based formal tools for the specification of security requirements: we quantitatively enhance the open-system approach, according to which…