Anonymous three-party password-auth

Anonymous three-party password-authenticated key exchange scheme for Telecare Medical Information Systems.
Xie Q1, Hu B1, Dong N1, Wong DS2.
Author information
Abstract
Telecare Medical Information Systems (TMIS) provide an effective way to enhance the medical process between doctors, nurses and patients. For enhancing the security and privacy of TMIS, it is important while challenging to enhance the TMIS so that a patient and a doctor can perform mutual authentication and session key establishment using a third-party medical server while the privacy of the patient can be ensured. In this paper, we propose an anonymous three-party password-authenticated key exchange (3PAKE) protocol for TMIS. The protocol is based on the efficient elliptic curve cryptosystem. For security, we apply the pi calculus based formal verification tool ProVerif to show that our 3PAKE protocol for TMIS can provide anonymity for patient and doctor while at the same time achieves mutual authentication and session key security. The proposed scheme is secure and efficient, and can be used in TMIS.

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

ที่ไม่ระบุชื่อของบุคคลที่สามด้วยรหัสผ่านโครงการแลกเปลี่ยนรับรองความถูกต้องที่สำคัญสำหรับ Telecare ระบบสารสนเทศทางการแพทย์.
Xie ไตรมาสที่ 1 หู B1, ดง N1, วงศ์ DS2.
ข้อมูลผู้เขียน
บทคัดย่อ
Telecare ระบบสารสนเทศทางการแพทย์ (TMIS) จัดให้มีวิธีที่มีประสิทธิภาพเพื่อเสริมสร้างกระบวนการทางการแพทย์ระหว่างแพทย์ พยาบาลและผู้ป่วย สำหรับการเสริมสร้างความปลอดภัยและความเป็นส่วนตัวของ TMIS มันเป็นสิ่งสำคัญในขณะที่ความท้าทายในการเพิ่ม TMIS เพื่อให้ผู้ป่วยและแพทย์สามารถดำเนินการตรวจสอบซึ่งกันและกันและสถานประกอบการที่สำคัญเซสชั่นการใช้บุคคลที่สามเซิร์ฟเวอร์ทางการแพทย์ในขณะที่ความเป็นส่วนตัวของผู้ป่วยสามารถมั่นใจ ในบทความนี้เรานำเสนอที่ไม่ระบุชื่อของบุคคลที่สามด้วยรหัสผ่านรับรองความถูกต้องแลกเปลี่ยนคีย์ (3PAKE) โปรโตคอลสำหรับ TMIS โปรโตคอลจะขึ้นอยู่กับเส้นโค้งรูปไข่ที่มีประสิทธิภาพ cryptosystem เพื่อความปลอดภัยเราใช้แคลคูลัสปี่ตามเครื่องมือการตรวจสอบอย่างเป็นทางการ ProVerif แสดงให้เห็นว่าโพรโทคอ 3PAKE ของเราสำหรับ TMIS สามารถให้ตัวตนสำหรับผู้ป่วยและแพทย์ในขณะที่ในเวลาเดียวกันประสบความสำเร็จในการตรวจสอบซึ่งกันและกันและเซสชั่นการรักษาความปลอดภัยที่สำคัญ โครงการที่เสนอมีความปลอดภัยและมีประสิทธิภาพและสามารถนำมาใช้ในการ TMIS

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

ไม่ระบุชื่อพรรคสามแลกเปลี่ยนคีย์รหัสผ่านรับรองความถูกต้องของระบบข้อมูลทางการแพทย์ telecare .
เซี่ย Q1 Hu B1 ดง N1 วอง DS2 .
ข้อมูลผู้เขียน

telecare บทคัดย่อทางการแพทย์ข้อมูลระบบ ( tmis ) ให้วิธีที่มีประสิทธิภาพเพื่อเพิ่มประสิทธิภาพกระบวนการทางการแพทย์ระหว่างแพทย์ พยาบาล และผู้ป่วย เพื่อเพิ่มความปลอดภัยและความเป็นส่วนตัวของ tmis ,มันเป็นสิ่งสำคัญในขณะที่ท้าทายเพื่อเพิ่ม tmis ดังนั้นผู้ป่วยและแพทย์สามารถดำเนินการตรวจสอบร่วมกันและเซสชั่นคีย์ใช้บุคคลที่สามเซิร์ฟเวอร์ในขณะที่สถานประกอบการทางการแพทย์ความเป็นส่วนตัวของผู้ป่วยสามารถมั่นใจ . ในกระดาษนี้เราขอเสนอ 3 พรรคที่ไม่ระบุชื่อรหัสผ่านรับรองความถูกต้องแลกเปลี่ยนคีย์ ( 3pake ) โปรโตคอลสำหรับ tmis .ซึ่งจะขึ้นอยู่กับประสิทธิภาพการเข้ารหัสลับแบบเส้นโค้งเชิงวงรี . เพื่อความปลอดภัย เราใช้เครื่องมือตรวจสอบ proverif ไพแคลคูลัสขึ้นอย่างเป็นทางการเพื่อแสดงให้เห็นว่า พิธีสาร 3pake ของเรา tmis สามารถให้โปรแกรมสำหรับผู้ป่วยและแพทย์ในขณะที่ในเวลาเดียวกันสามารถตรวจสอบซึ่งกันและกัน และเซสชันการรักษาความปลอดภัยที่สำคัญ การนำเสนอโครงการมีความปลอดภัยและมีประสิทธิภาพ และสามารถใช้ในการ tmis .