@inproceedings{krautsevich:hal-01573302,
  TITLE = {{Formal Analysis of Security Metrics and Risk}},
  AUTHOR = {Krautsevich, Leanid and Martinelli, Fabio and Yautsiukhin, Artsiom},
  URL = {https://inria.hal.science/hal-01573302},
  NOTE = {Part 9: Security and Trust},
  BOOKTITLE = {{5th Workshop on Information Security Theory and Practices (WISTP)}},
  ADDRESS = {Heraklion, Crete, Greece},
  EDITOR = {Claudio A. Ardagna and Jianying Zhou},
  PUBLISHER = {{Springer}},
  SERIES = {Information Security Theory and Practice. Security and Privacy of Mobile                    Devices in Wireless Communication},
  VOLUME = {LNCS-6633},
  PAGES = {304-319},
  YEAR = {2011},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-21040-2\_22},
  PDF = {https://inria.hal.science/hal-01573302/file/978-3-642-21040-2_22_Chapter.pdf},
  HAL_ID = {hal-01573302},
  HAL_VERSION = {v1},
}