We have proposed an efficient prova

We have proposed an efficient provably secure mutual authentication and key agreement scheme for the distributed mobile cloud computing environment.
Through
the formal security analysis using random oracle model, we
have shown that our scheme is SK-secure. Our security analysis
also shows that the proposed scheme is secure against the
well-known attacks including impersonation attack and sessionspecific
temporary information attack. Furthermore, our scheme
provides secure mutual authentication and strong user credentials’
privacy even if the session-specific temporary information is
unexpectedly revealed to an adversary by session exposure attack.
The simulation results using the widely-accepted AVISPA tool for
the formal security verification reveal that the proposed scheme
is also secure against replay and man-in-the-middle attacks. The
practicality of the proposed scheme for measurement of various
network parameters is evaluated using the broadly-accepted NS2
network simulator. Our scheme reduces the computation and
communication overheads of the mobile users. Thus, the efficiency
along with more security functionalities make our scheme is very suitable in the distributed mobile cloud computing environment
as compared to the other related existing schemes.

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

เราได้เสนอการรับรอง provably ปลอดภัยมีประสิทธิภาพและโครงร่างข้อตกลงที่สำคัญสำหรับการล้อมเมฆเคลื่อนที่กระจาย ผ่านการวิเคราะห์ความปลอดภัยทางการใช้ oracle แบบสุ่ม แบบเราแสดงให้เห็นว่า แผนของเราคือ SK ที่ปลอดภัย การวิเคราะห์ความปลอดภัยของเรายัง แสดงให้เห็นว่า แผนงานการนำเสนอมีความปลอดภัยกับการรู้จักการโจมตีที่โจมตีการเลียนแบบและ sessionspecificการโจมตีข้อมูลชั่วคราว นอกจากนี้ โครงการของเรารับรองปลอดภัยและแข็งแรงผู้ใช้ข้อมูลประจำตัวแม้ว่าเซสชันเฉพาะข้อมูลชั่วคราวเป็นส่วนบุคคลเผยปฏิปักษ์ โดยโจมตีแสงเซสชันโดยไม่คาดคิดผลการจำลองโดยใช้เครื่องมือ AVISPA ยอมรับอย่างกว้างขวางสำหรับการตรวจสอบความปลอดภัยทางการเปิดเผยที่โครงร่างที่เสนอยังมีความปลอดภัยกับรีเพลย์และการโจมตีผู้ชายในตัวตรงกลาง การปฏิบัติจริงแบบแผนเสนอสำหรับวัดต่าง ๆพารามิเตอร์เครือข่ายจะถูกประเมินโดยใช้ NS2 ยอมรับอย่างกว้างขวางเครือข่ายจำลอง โครงร่างของเราลดการคำนวณ และค่าโสหุ้ยการสื่อสารของผู้ใช้โทรศัพท์มือถือ ดังนั้น ประสิทธิภาพพร้อมกับทำให้ฟังก์ชันความปลอดภัยเพิ่มเติม โครงร่างของเราเหมาะมากในสภาพแวดล้อมระบบคอมพิวเตอร์เมฆเคลื่อนที่กระจายเมื่อเทียบกับอื่น ๆ ที่เกี่ยวข้องกับแผนงานที่มีอยู่

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

เราได้เสนอตรวจสอบร่วมกันที่มีประสิทธิภาพที่เชื่อถือได้ของสรรพสิ่งและรูปแบบข้อตกลงที่สำคัญสำหรับระบบคอมพิวเตอร์มือถือเมฆกระจาย.
ผ่าน
การวิเคราะห์การรักษาความปลอดภัยอย่างเป็นทางการโดยใช้แบบจำลอง oracle สุ่มเรา
ได้แสดงให้เห็นว่าโครงการของเราคือ SK-ที่เชื่อถือได้ การรักษาความปลอดภัยของเรา
ยังแสดงให้เห็นว่าโครงการที่เสนอมีความปลอดภัยกับ
การโจมตีที่รู้จักกันดีรวมทั้งการโจมตีการเลียนแบบและ sessionspecific
โจมตีข้อมูลชั่วคราว นอกจากนี้โครงการของเรา
ให้ตรวจสอบร่วมกันรักษาความปลอดภัยและข้อมูลประจำตัวของผู้ใช้ที่แข็งแกร่ง
เป็นส่วนตัวแม้ว่าข้อมูลชั่วคราวเซสชั่นที่เฉพาะเจาะจงจะ
เปิดเผยโดยไม่คาดคิดที่จะเป็นปรปักษ์จากการโจมตีของการสัมผัสเซสชั่น.
ผลการจำลองโดยใช้เครื่องมือ Avispa กันอย่างแพร่หลายได้รับการยอมรับสำหรับ
การตรวจสอบการรักษาความปลอดภัยอย่างเป็นทางการเผยให้เห็นว่า โครงการที่เสนอ
ยังเป็นความปลอดภัยกับการเล่นซ้ำและมนุษย์ในการโจมตีของคนกลาง
การปฏิบัติจริงของโครงการที่เสนอสำหรับการวัดต่างๆ
ค่าเครือข่ายได้รับการประเมินโดยใช้ในวงกว้างได้รับการยอมรับ NS2
จำลองเครือข่าย โครงการของเราจะช่วยลดการคำนวณและ
การสื่อสารค่าใช้จ่ายของผู้ใช้มือถือ ดังนั้นประสิทธิภาพ
พร้อมกับฟังก์ชันการทำงานที่ปลอดภัยมากขึ้นทำให้โครงการของเรามีความเหมาะสมมากในระบบคอมพิวเตอร์เมฆโทรศัพท์มือถือที่กระจาย
เมื่อเทียบกับคนอื่น ๆ ที่มีอยู่ในรูปแบบที่เกี่ยวข้อง

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

เรานำเสนอการตรวจสอบที่มีประสิทธิภาพอาจร่วมกันและรูปแบบข้อตกลงที่สำคัญสำหรับการกระจายของเมฆคอมพิวเตอร์สิ่งแวดล้อมผ่านงานรักษาความปลอดภัยการวิเคราะห์โดยใช้แบบจำลองพยากรณ์แบบสุ่ม เราแสดงว่า แผนการของเราคือ SK ปลอดภัย การวิเคราะห์ความปลอดภัยของเรายังแสดงให้เห็นว่าการเสนอโครงการต่อการโจมตีที่รู้จักกันดีรวมทั้งโจมตี และ sessionspecific เลียนแบบโจมตีข้อมูลชั่วคราว นอกจากนี้ โครงการของเราให้บริการการตรวจสอบร่วมกันและข้อมูลผู้ใช้ที่แข็งแกร่ง "ส่วนตัวถ้าเซสชันเฉพาะชั่วคราวข้อมูลโดยไม่คาดคิดว่าคู่ต่อสู้โดยเซสชั่นการโจมตีแบบจำลองการยอมรับอย่างกว้างขวาง avispa เครื่องมือสำหรับการตรวจสอบการรักษาความปลอดภัยอย่างเป็นทางการ เปิดเผยว่า การเสนอโครงการยังปลอดภัยกับ replay และมนุษย์ในการโจมตีกลาง ที่การปฏิบัติจริงของวิธีการที่นำเสนอ วัดต่าง ๆพารามิเตอร์ของเครือข่ายคือการประเมินการยอมรับกว้าง NS2จำลองเครือข่าย โครงการลดการคำนวณและเมื่อการสื่อสารของผู้ใช้โทรศัพท์มือถือ ดังนั้น ประสิทธิภาพพร้อมฟังก์ชันรักษาความปลอดภัยเพิ่มเติมให้โครงการของเรามีความเหมาะสมมากในการกระจายของเมฆคอมพิวเตอร์สิ่งแวดล้อมเมื่อเทียบกับอื่น ๆที่เกี่ยวข้องที่มีอยู่โครงร่าง