Formal approach to security metrics.: what does more secure mean for you?

Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin. Formal approach to security metrics.: what does more secure mean for you?. In Ian Gorton, Carlos E. Cuesta, Muhammad Ali Babar, editors, Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume. ACM International Conference Proceeding Series, pages 162-169, ACM, 2010. [doi]

@inproceedings{KrautsevichMY10,
  title = {Formal approach to security metrics.: what does  more secure  mean for you?},
  author = {Leanid Krautsevich and Fabio Martinelli and Artsiom Yautsiukhin},
  year = {2010},
  doi = {10.1145/1842752.1842787},
  url = {http://doi.acm.org/10.1145/1842752.1842787},
  tags = {security, systematic-approach},
  researchr = {https://researchr.org/publication/KrautsevichMY10},
  cites = {0},
  citedby = {0},
  pages = {162-169},
  booktitle = {Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume},
  editor = {Ian Gorton and Carlos E. Cuesta and Muhammad Ali Babar},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {978-1-4503-0179-4},
}