The goal of this paper is to find t

The goal of this paper is to find the requirement and security issues of wireless sensor networks (WSNs) especially in coal mines for safety monitoring and to develop an authentication protocol to provide the security in WSNs. The WSNs help in reducing the hazard and increase the productivity by proper moni- toring the equipments and underground conditions. In mines, a sensor in a WSN senses the environment and transmits the data to colliery professionals for further detailed assessment as a minor factual er- ror may cause severe human casualties and large resource destruction that may lead to huge monetary losses. The sensors have limited battery that should be used efficiently in computing the acquired infor- mation. In this paper, we present an authentication protocol to overcome the security issues in WSNs by authenticating the users (professionals) and the mechanical sensors. Our protocol requires only light weight functions and low cost in transmission of the messages to save the battery in sensors. We use the BAN (Burrows-Abadi-Needham) logic to ensure the mutual authentication and session key agreement properties. The formal security analysis proves its resilience against various security attacks. For its for- mal security verification, a widely accepted AVIPSA (Automated Validation of Internet Security Protocols and Applications) tool is used.

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

เป้าหมายของเอกสารนี้คือการ ค้นหาปัญหาความต้องการและความปลอดภัยของเครือข่ายเซ็นเซอร์ไร้สาย (WSNs) โดยเฉพาะอย่างยิ่งในเหมืองถ่านหิน สำหรับการตรวจสอบความปลอดภัย และ การพัฒนาการโพรโทคอลการรับรองความถูกต้องเพื่อความปลอดภัยใน WSNs WSNs ช่วยในการลดอันตราย และเพิ่มประสิทธิภาพ โดยเหมาะสมรเจกต์-toring อุปกรณ์และสภาพใต้ดิน ในเหมือง เซ็นเซอร์ใน WSN รู้ถึงสภาพแวดล้อม และส่งข้อมูล colliery ผู้เชี่ยวชาญสำหรับประเมินรายละเอียดเพิ่มเติมเป็นรองจริงเอ้อ-ror อาจทำให้ผู้เสียชีวิตมนุษย์อย่างรุนแรงและการทำลายทรัพยากรขนาดใหญ่ที่อาจทำให้สูญเสียทางการเงิน เซ็นเซอร์มีจำกัดแบตเตอรี่ที่ควรใช้อย่างมีประสิทธิภาพในการคำนวณคือไดรเวอร์ที่ได้รับ ในกระดาษนี้ เรานำเสนอโพรโทคอการรับรองความถูกต้องเพื่อเอาชนะปัญหาความปลอดภัยใน WSNs โดยรับรองความถูกต้องผู้ใช้ (มืออาชีพ) และเซ็นเซอร์กล โพรโทคอลของเราต้องการฟังก์ชั่นน้ำหนักเบาและต้นทุนต่ำในการส่งข้อความเพื่อประหยัดแบตเตอรี่ในเซนเซอร์เท่านั้น เราใช้ตรรกะบ้าน (โพรงอบาดีสปาร์ตาอิลลินอยส์) ให้การรับรองและเซสชันคุณสมบัติสำคัญข้อตกลง การวิเคราะห์ความปลอดภัยทางการพิสูจน์ความยืดหยุ่นการโจมตีความปลอดภัยต่าง ๆ ตรวจสอบความปลอดภัยสำหรับ mal ใช้เครื่องมือ AVIPSA (อัตโนมัติตรวจสอบของอินเทอร์เน็ตระบบความปลอดภัยและโปรแกรมประยุกต์) ที่ยอมรับอย่างกว้างขวาง

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

เป้าหมายของบทความนี้คือการหาต้องการและการรักษาความปลอดภัยปัญหาของเครือข่ายเซ็นเซอร์ไร้สาย (WSNs) โดยเฉพาะอย่างยิ่งในเหมืองถ่านหินสำหรับการตรวจสอบความปลอดภัยและการพัฒนาโปรโตคอลการตรวจสอบเพื่อให้ความปลอดภัยใน WSNs WSNs ช่วยในการลดอันตรายและเพิ่มผลผลิตโดยจะตรวจที่เหมาะสม toring อุปกรณ์และเงื่อนไขใต้ดิน ในการทำเหมืองแร่, เซ็นเซอร์ใน WSN รู้สึกสภาพแวดล้อมและการส่งข้อมูลไปยังผู้เชี่ยวชาญด้านเหมืองสำหรับการประเมินรายละเอียดต่อไปในฐานะต้นแบบที่เล็ก ๆ น้อย ๆ อันที่จริงอาจทำให้เกิดการบาดเจ็บล้มตายของมนุษย์อย่างรุนแรงและการทำลายทรัพยากรขนาดใหญ่ที่อาจนำไปสู่การสูญเสียเงินมาก เซ็นเซอร์มีแบตเตอรี่ที่ควรจะใช้อย่างมีประสิทธิภาพในการคำนวณข้อมูลข่าวสารที่ได้มา จำกัด ในบทความนี้เรานำเสนอโปรโตคอลการตรวจสอบที่จะเอาชนะปัญหาด้านความปลอดภัยใน WSNs โดยการตรวจสอบผู้ใช้ (มืออาชีพ) และเซ็นเซอร์กล โปรโตคอลของเราต้องการฟังก์ชั่นที่มีน้ำหนักเบาเพียงและต้นทุนต่ำในการส่งข้อความเพื่อประหยัดแบตเตอรี่ในเซ็นเซอร์ เราใช้ที่บ้าน (เบอร์โรวส์-Abadi-Needham) ตรรกะเพื่อให้แน่ใจว่าการตรวจสอบซึ่งกันและกันและเซสชั่นที่สำคัญคุณสมบัติข้อตกลง การวิเคราะห์การรักษาความปลอดภัยอย่างเป็นทางการพิสูจน์ความยืดหยุ่นของการโจมตีรักษาความปลอดภัยต่างๆ สำหรับการตรวจสอบการรักษาความปลอดภัยของ mal เผื่อเป็นที่ยอมรับอย่างกว้างขวาง AVIPSA (Automated การตรวจสอบโปรโตคอลรักษาความปลอดภัยอินเทอร์เน็ตและการประยุกต์ใช้งาน) เครื่องมือที่ถูกนำมาใช้

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

การวิจัยครั้งนี้มีจุดมุ่งหมายเพื่อค้นหาความต้องการและปัญหาด้านความปลอดภัยของเครือข่ายเซ็นเซอร์ไร้สาย ( wsns ) โดยเฉพาะอย่างยิ่งในเหมืองถ่านหินสำหรับการตรวจสอบความปลอดภัยและการพัฒนาโปรโตคอลการตรวจสอบเพื่อให้การรักษาความปลอดภัยใน wsns . การ wsns ช่วยในการลดอันตรายและเพิ่มผลผลิตโดยถูกต้อง Moni - toring อุปกรณ์และสภาพใต้ดิน ในเหมืองเซ็นเซอร์ใน WSN สัมผัสสิ่งแวดล้อม และส่งข้อมูลให้ผู้เชี่ยวชาญประเมินรายละเอียดเพิ่มเติมเช่นเหมืองน้อยจริงเอ้อ - รออาจทำให้มนุษย์ได้รับบาดเจ็บรุนแรงและการทำลายทรัพยากรขนาดใหญ่ที่อาจนำไปสู่การสูญเสียทางการเงินขนาดใหญ่ เซ็นเซอร์มีจำกัดแบตเตอรี่ที่ควรใช้มีประสิทธิภาพในการคำนวณที่ได้มาอินฟอร์ - ดาวน์โหลด . ในกระดาษนี้เรานำเสนอโปรโตคอลการตรวจสอบเพื่อเอาชนะปัญหาด้านความปลอดภัยใน wsns โดยการตรวจสอบสิทธิ์ผู้ใช้ ( มืออาชีพ ) และกลเซ็นเซอร์ โปรโตคอลของเราต้องการเพียงฟังก์ชันน้ำหนักเบาและประหยัดค่าใช้จ่ายในการส่งของข้อความเพื่อประหยัดแบตเตอรี่ในเซ็นเซอร์ เราใช้บ้าน ( เบอร์โรวส์ Abadi เป็นตรรกะเพื่อให้แน่ใจว่าการตรวจสอบ ) และข้อตกลงร่วมกันเซสชั่นคีย์คุณสมบัติ การวิเคราะห์ความปลอดภัยอย่างเป็นทางการพิสูจน์ความยืดหยุ่นของความมั่นคงการโจมตีต่างๆ - การตรวจสอบความปลอดภัยของมอล ที่ได้รับการยอมรับอย่างกว้างขวาง avipsa ( อัตโนมัติตรวจสอบอินเทอร์เน็ตโปรโตคอลรักษาความปลอดภัยและโปรแกรม ) เครื่องมือที่ใช้คือ