@inproceedings{felkner:hal-01527385,
  TITLE = {{The Semantics of Role-Based Trust Management Languages}},
  AUTHOR = {Felkner, Anna and Sacha, Krzysztof},
  URL = {https://inria.hal.science/hal-01527385},
  NOTE = {Part 2: Modelling and Formal Methods in Software Development},
  BOOKTITLE = {{4th Central and East European Conference on Software Engineering Techniques (CEESET)}},
  ADDRESS = {Krakow, Poland},
  EDITOR = {David Hutchison and Takeo Kanade and Madhu Sudan and Demetri Terzopoulos and Doug Tygar and Moshe Y. Vardi and Gerhard Weikum and Tomasz Szmuc and Marcin Szpyrka and Jaroslav Zendulka and Josef Kittler and Jon M. Kleinberg and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan and Bernhard Steffen},
  PUBLISHER = {{Springer}},
  SERIES = {Advances in Software Engineering Techniques},
  VOLUME = {LNCS-7054},
  PAGES = {179-189},
  YEAR = {2009},
  MONTH = Oct,
  DOI = {10.1007/978-3-642-28038-2\_14},
  PDF = {https://inria.hal.science/hal-01527385/file/978-3-642-28038-2_14_Chapter.pdf},
  HAL_ID = {hal-01527385},
  HAL_VERSION = {v1},
}