Semiring-based Specification Approaches for Quantitative Security. Martinelli, F.; Matteucci, I.; and Santini, F. In QAPL, volume 194, of EPTCS, pages 95–109, 2015.
bibtex   
@inproceedings{DBLP:journals/corr/MartinelliMS15,
  author    = {Fabio Martinelli and
               Ilaria Matteucci and
               Francesco Santini},
  title     = {Semiring-based Specification Approaches for Quantitative Security},
  booktitle = {{QAPL}},
  series    = {{EPTCS}},
  volume    = {194},
  pages     = {95--109},
  year      = {2015}
}
Downloads: 0