Directed related to our work, in th

Directed related to our work, in the article [12] the authors Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen and Simon Gay introduce the use of computer-aided verification as a practical means for analysing the QKD protocol BB84. based on probabilistic model-checking approach, they have used the PRISM model-checker to show that, the equivocation of the eavesdropper with respect to the channel decreases exponentially as the number of qubits transmitted in BB84 is increased. They have also shown that the probability of detecting the presence of an eavesdropper increases exponentially when the number of qubits.

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

โดยตรงที่เกี่ยวข้องกับงานของเรา ในบทความ [12] ผู้เขียน Rajagopal Nagarajan, Nikolaos Papanikolaou แกรีเวน และ Simon เกย์แนะนำการใช้คอมพิวเตอร์ช่วยตรวจสอบเป็นวิธีการปฏิบัติสำหรับการวิเคราะห์โพรโทคอล QKD BB84 ใช้วิธีการตรวจสอบแบบจำลอง probabilistic พวกเขาได้ใช้ปริซึมแบบตรวจแสดงว่า equivocation ของ eavesdropper กับช่องลดสร้างเป็นเพิ่มจำนวน qubits ส่งใน BB84 พวกเขายังได้แสดงว่า น่าเป็นของ eavesdropper การตรวจเพิ่มขึ้นเป็นทวีคูณเมื่อเมื่อจำนวน qubits ด้วย

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

กำกับที่เกี่ยวข้องกับการทำงานของเราในบทความ [12] ผู้เขียน Rajagopal Nagarajan, Nikolaos Papanikolaou แกร์รีเวนและไซมอนเกย์แนะนำการใช้งานของการตรวจสอบคอมพิวเตอร์ช่วยเป็นวิธีปฏิบัติสำหรับการวิเคราะห์โปรโตคอล QKD BB84 ขึ้นอยู่กับความน่าจะเป็นรูปแบบการตรวจสอบวิธีการที่พวกเขาได้ใช้ PRISM แบบตรวจสอบเพื่อแสดงให้เห็นว่าการพูดกำกวมของดักฟังที่เกี่ยวกับช่องทางที่ลดลงชี้แจงเป็นจำนวน qubits ส่งใน BB84 จะเพิ่มขึ้น พวกเขาได้แสดงให้เห็นว่าน่าจะเป็นของการตรวจสอบสถานะของการดักฟังเพิ่มขึ้นชี้แจงเมื่อจำนวนของ qubits

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

ที่เกี่ยวข้องกับงานของเรา ในบทความ [ 12 ] ผู้เขียน rajagopal nagarajan นิโกลา ส , papanikolaou , แกรี่ โบเวนและไซมอน Gay แนะนำใช้คอมพิวเตอร์ช่วยตรวจสอบเป็นวิธีปฏิบัติสำหรับการวิเคราะห์โปรโตคอล qkd bb84 . ตามแนวทางการตรวจสอบแบบจำลอง พวกเขาได้ใช้แบบจำลองปริซึมตรวจสอบเพื่อแสดงให้เห็นว่าโดยเลศนัยของผู้แอบฟังด้วยความเคารพช่องลดลงชี้แจงเป็นหมายเลขของ qubits ส่งใน bb84 เพิ่ม . พวกเขายังได้แสดงให้เห็นว่า ความน่าจะเป็นในการปรากฏตัวของผู้แอบฟังเพิ่มขึ้นชี้แจงเมื่อจำนวน qubits .