A Uniform Approach to Security and Fault-Tolerance Specification and Analysis.

Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi

Browse the full ICSE paper archive.