@inproceedings{rusinek:hal-01444489,
  TITLE = {{AQoPA: Automated Quality of Protection Analysis Framework for Complex Systems}},
  AUTHOR = {Rusinek, Damian and Ksiezopolski, Bogdan and Wierzbicki, Adam},
  URL = {https://inria.hal.science/hal-01444489},
  NOTE = {Part 7: Various Aspects of Computer Security},
  BOOKTITLE = {{14th Computer Information Systems and Industrial Management (CISIM)}},
  ADDRESS = {Warsaw, Poland},
  EDITOR = {Khalid Saeed and Wladyslaw Homenda},
  PUBLISHER = {{Springer}},
  SERIES = {Computer Information Systems and Industrial Management},
  VOLUME = {LNCS-9339},
  PAGES = {475-486},
  YEAR = {2015},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-24369-6\_39},
  KEYWORDS = {Modelling and protocol design ; Security protocol analysis ; Quality of protection ; Applied cryptography},
  PDF = {https://inria.hal.science/hal-01444489/file/978-3-319-24369-6_39_Chapter.pdf},
  HAL_ID = {hal-01444489},
  HAL_VERSION = {v1},
}