@INPROCEEDINGS{KRAU-10-MESSA,
  author = {Leanid Krautsevich and Fabio Martinelli and Artsiom Yautsiukhin},
  title = {Formal approach to security metrics. What does ``more secure'' mean
	for you?},
  booktitle = {Proceedings of the 1st International Workshop on Measurability of
	Security in Software Architectures. To appear.},
  year = {2010},
  publisher = {ACM Press},
}