The remainder of this article is or

The remainder of this article is organized as follows. The related works is introduced in section 2. In Section 3 we provide a detailed description of the BB84 protocol. In Section 4 we give a simple presentation of the technique of model checking and we show why this technique is desired to analyze protocols of quantum key distribution. In section 5 we present our analysis of BB84’s security by introducing parameters of the channel and the eavesdropper in order to study the property of eavesdropping detection. Section 6 concludes our work by giving the main results.

ผลลัพธ์ (ไทย) 1:

ส่วนเหลือของบทความนี้มีการจัดระเบียบดังนี้ มีการแนะนำงานที่เกี่ยวข้องในส่วนที่ 2 ใน 3 ส่วน เราให้คำอธิบายโดยละเอียดของโพรโทคอล BB84 ในส่วนที่เรานำเสนอเรื่องเทคนิครุ่น 4 ตรวจสอบและเราแสดงเหตุเทคนิคนี้จะต้องวิเคราะห์โพรโทคอของควอนตัมการกระจายคีย์การ ในส่วน 5 เราแสดงเราวิเคราะห์ความปลอดภัยของ BB84 ตามพารามิเตอร์ของช่องและ eavesdropper ที่แนะนำเพื่อศึกษาคุณสมบัติของการตรวจสอบการลักลอบ ส่วน 6 สรุปงานให้ผลลัพธ์หลัก

ผลลัพธ์ (ไทย) 2:

ที่เหลือของบทความนี้มีการจัดระเบียบดังต่อไปนี้ งานที่เกี่ยวข้องจะนำมาใช้ในส่วนที่ 2. ในส่วนที่ 3 ที่เราให้คำอธิบายรายละเอียดของโปรโตคอล BB84 ในหมวดที่ 4 เราจะให้นำเสนอที่เรียบง่ายของการใช้เทคนิคการตรวจสอบรูปแบบและเราจะแสดงเหตุผลที่เทคนิคนี้เป็นที่ต้องการในการวิเคราะห์โปรโตคอลของการกระจายควอนตัมที่สำคัญ ในมาตรา 5 เรานำเสนอการวิเคราะห์ของเราของการรักษาความปลอดภัยของ BB84 โดยการแนะนำพารามิเตอร์ของช่องทางและดักฟังเพื่อการศึกษาการตรวจสอบทรัพย์สินของกำลังดัก มาตรา 6 สรุปการทำงานของเราโดยการให้ผลหลัก

ผลลัพธ์ (ไทย) 3:

ส่วนที่เหลือของบทความนี้จะจัดดังนี้ งานที่เกี่ยวข้องมาใช้ในส่วนที่ 2 ในส่วนที่ 3 ที่เราให้รายละเอียดของ bb84 โปรโตคอล ในส่วนที่ 4 เราขอเสนอเทคนิคง่ายๆของการตรวจสอบรูปแบบ และเราแสดงให้เห็นถึงเทคนิคนี้ต้องการวิเคราะห์โปรโตคอลของการกระจายกุญแจควอนตัมในส่วนที่ 5 ที่เรานำเสนอการวิเคราะห์ของเราในการรักษาความปลอดภัย bb84 โดยแนะนำพารามิเตอร์ของช่องและผู้แอบฟังเพื่อศึกษาคุณสมบัติของการตรวจสอบการดักฟัง ส่วนที่ 6 สรุปผลงานของเรา โดยการให้ผลหลัก