@inproceedings{EP14,
  author        = {Y. Elrahaiby and J. Pang},
  title         = {Dynamic analysis of usage control policies},
  booktitle     = {Proc.\ 11th Conference on Security and Cryptography (SECRYPT'14)},
  publisher     = {SciTePress},
  year          = {2014},
  pages         = {88-100}
}