@Article{	  miyazaki.ea:formal:2005,
  author	= {Kunihiko Miyazaki and David Basin and Hironobu Kuruma and
		  Kazuo Takaragi and Satoru Tezuka},
  journal	= {Computer Software --- Journal of the Japanese Society for
		  Software Science and Technology},
  language	= {USenglish},
  note		= {in Japanese},
  number	= 2,
  pages		= {74--84},
  pdf		= {papers/2005/darma_paper_in_japanese.pdf},
  title		= {A formal analysis of a digital signature system},
  volume	= 22,
  year		= 2005,
  user		= {bgeiser}
}