HalpernO08'

BibTeX

@article{DBLP:journals/tissec/HalpernO08,
  author    = {Joseph Y. Halpern and
               Kevin R. O'Neill},
  title     = {Secrecy in Multiagent Systems},
  journal   = {ACM Trans. Inf. Syst. Secur.},
  volume    = {12},
  number    = {1},
  year      = {2008},
  ee        = {http://doi.acm.org/10.1145/1410234.1410239},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}