ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Verification of routing policies by using model checking technique

หน่วยงาน สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ

รายละเอียด

ชื่อเรื่อง : Verification of routing policies by using model checking technique
นักวิจัย : Charuwalee Huadmai , จารุวลี ฮวดมัย
คำค้น : Communication technologies , Complexity theory , Computer communication networks , Convergence , Engineering and technology , Guidelines , Network topology , Routing , Routing protocols , ศูนย์เทคโนโลยีอิเล็กทรอนิกส์และคอมพิวเตอร์แห่งชาติ , สาขาเทคโนโลยีสารสนเทศและนิเทศศาสตร์
หน่วยงาน : สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ
ผู้ร่วมงาน : -
ปีพิมพ์ : 2554
อ้างอิง : http://www.nstda.or.th/thairesearch/node/23254
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

BGP, the de-facto inter-domain routing protocol, is well-known for its complexity in configuring correct behaviour. This stems from the fact that the protocol is policy-based. Despite best practice and guidelines, it is not uncommon to have policy conflicts in a real network. Currently, there is a lack of tools to verify that required properties, especailly, the convergence property, holds in a set of BGP configurations. This paper presents an approach to verifying BGP routing policy configurations by using a mathematical-rich technique, model checking. The experiments on sample network configurations are demonstrated. The convergence property are verified by using two linear temporal logic (LTL) formulas. The experimental results has shown that it is possible to conclude, based on the results of the verification, whether or not a set of BGP routing policy configurations will converge on a solution for a particular network destination.

บรรณานุกรม :
Charuwalee Huadmai , จารุวลี ฮวดมัย . (2554). Verification of routing policies by using model checking technique.
    ปทุมธานี : สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ.
Charuwalee Huadmai , จารุวลี ฮวดมัย . 2554. "Verification of routing policies by using model checking technique".
    ปทุมธานี : สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ.
Charuwalee Huadmai , จารุวลี ฮวดมัย . "Verification of routing policies by using model checking technique."
    ปทุมธานี : สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ, 2554. Print.
Charuwalee Huadmai , จารุวลี ฮวดมัย . Verification of routing policies by using model checking technique. ปทุมธานี : สำนักงานพัฒนาวิทยาศาสตร์และเทคโนโลยีแห่งชาติ; 2554.