@Article{MizakiBasin2005,
  author =       {Kunihiko Miyazaki and David Basin and Hironobu
                  Kuruma and Kazuo Takaragi and Satoru Tezuka},
  title =        {A formal analysis of a digital signature system},
  journal =      {Computer Software --- Journal of the Japanese Society
for Software Science and Technology},
  year =         2005,
  volume =       22,
  number =       2,
  pages =        {74--84},
  note =         {in Japanese}
}