DBLP Record 'journals/jcs/ZhangRG08'

BibTeX

@article{DBLP:journals/jcs/ZhangRG08,
  author    = {Nan Zhang 0003 and
               Mark Ryan and
               Dimitar P. Guelev},
  title     = {Synthesising verified access control systems through model
               checking},
  journal   = {Journal of Computer Security},
  volume    = {16},
  number    = {1},
  year      = {2008},
  pages     = {1-61},
  ee        = {http://iospress.metapress.com/content/r558m13231010nn1/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}