@inproceedings{weko_98284_1,
   author	 = "横村,雄太 and 岩本,智裕 and 荒井,研一 and 金子,敏信",
   title	 = "ProVerifを用いたBluetoothのセキュアシンプルペアリングの形式的検証",
   booktitle	 = "コンピュータセキュリティシンポジウム2013論文集",
   year 	 = "2013",
   volume	 = "2013",
   number	 = "4",
   pages	 = "680--687",
   month	 = "oct"
}