| ชื่อเรื่อง | : | Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL |
| นักวิจัย | : | Steel, G. , Maidl, M. , Bundy, Alan |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://www.inf.ed.ac.uk/publications/report/0179.html , http://hdl.handle.net/1842/4578 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We describe Coral, a counterexample finder for incorrect inductive conjectures. By devising a first-order version of Paulson's formalism for cryptographic protocol analysis, we are able to use Coral to attack protocols which may have an unbounded number of principals involved in a single run. We show two attacks we have found on the Asokan--Ginzboorg protocol for establishing a group key in an ad-hoc network of Bluetooth devices. |
| บรรณานุกรม | : |
Steel, G. , Maidl, M. , Bundy, Alan . (2546). Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Steel, G. , Maidl, M. , Bundy, Alan . 2546. "Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Steel, G. , Maidl, M. , Bundy, Alan . "Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Steel, G. , Maidl, M. , Bundy, Alan . Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
