DBLP Record 'conf/mmmacns/KosiyatrakulOHC03'

BibTeX

@inproceedings{DBLP:conf/mmmacns/KosiyatrakulOHC03,
  author    = {Thumrongsak Kosiyatrakul and
               Susan Older and
               Polar Humenn and
               Shiu-Kai Chin},
  title     = {Implementing a Calculus for Distributed Access Control in
               Higher Order Logic and HOL},
  booktitle = {MMM-ACNS},
  year      = {2003},
  pages     = {32-46},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2776{\&}spage=32},
  crossref  = {DBLP:conf/mmmacns/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/mmmacns/2003,
  editor    = {Vladimir Gorodetsky and
               Leonard J. Popyack and
               Victor A. Skormin},
  title     = {Computer Network Security, Second International Workshop
               on Mathematical Methods, Models, and Architectures for Computer
               Network Security, MMM-ACNS 2003, St. Petersburg, Russia,
               September 21-23, 2003, Proceedings},
  booktitle = {MMM-ACNS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2776},
  year      = {2003},
  isbn      = {3-540-40797-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}