SakakiYO06'

BibTeX

@inproceedings{DBLP:conf/iwsec/SakakiYO06,
  author    = {Hiroshi Sakaki and
               Kazuo Yanoo and
               Ryuichi Ogawa},
  title     = {A Model-Based Method for Security Configuration Verification},
  booktitle = {IWSEC},
  year      = {2006},
  pages     = {60-75},
  ee        = {http://dx.doi.org/10.1007/11908739_5},
  crossref  = {DBLP:conf/iwsec/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iwsec/2006,
  editor    = {Hiroshi Yoshiura and
               Kouichi Sakurai and
               Kai Rannenberg and
               Yuko Murayama and
               Shin-ichi Kawamura},
  title     = {Advances in Information and Computer Security, First International
               Workshop on Security, IWSEC 2006, Kyoto, Japan, October
               23-24, 2006, Proceedings},
  booktitle = {IWSEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4266},
  year      = {2006},
  isbn      = {3-540-47699-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}