Until now, no formal and automated

Until now, no formal and automated verification methods have been proposed for network management protocols and they have been analyzed only with informal techniques or with symbolic methods which is a hard, time-consuming and error-prone task when done by hand. Hence, in this paper, we first describe the SNMPv3 protocol and propose an abstract model of it to formalize our understanding of SNMP, and provide a specification of SNMPv3 in the applied π-calculus

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

จนถึงขณะนี้ วิธีการตรวจสอบอย่างเป็นทางการ และอัตโนมัติไม่ได้รับการเสนอชื่อโพรโทคอลการจัดการเครือข่าย และพวกเขาได้รับการวิเคราะห์เท่า กับเป็นเทคนิค หรือวิธีสัญลักษณ์ซึ่งเป็นงานยาก ใช้เวลามาก และ มักเกิดข้อผิดพลาดเมื่อทำด้วยมือ ดังนั้น ในเอกสารนี้ เราก่อนอธิบายโพรโทคอล SNMPv3 และเสนอแบบจำลองนามธรรมของมัน formalize เราเข้าใจของ SNMP และให้ข้อมูลจำเพาะของ SNMPv3 ในใช้πแคลคูลัส

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

จนถึงขณะนี้ยังไม่มีวิธีการตรวจสอบอย่างเป็นทางการและอัตโนมัติได้รับการเสนอสำหรับโปรโตคอลการจัดการเครือข่ายและพวกเขาได้รับการวิเคราะห์เฉพาะกับเทคนิคทางการหรือด้วยวิธีการที่เป็นสัญลักษณ์ซึ่งเป็นเรื่องยากใช้เวลานานและงานที่ผิดพลาดได้ง่ายเมื่อทำด้วยมือ ดังนั้นในบทความนี้เราอธิบายโปรโตคอล SNMPv3 และนำเสนอรูปแบบนามธรรมของมันที่จะทำพิธีเข้าใจของเรา SNMP และให้คุณสมบัติของ SNMPv3 ใช้ในπ-แคลคูลัส

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

จนถึงบัดนี้ ยังไม่มีอย่างเป็นทางการ และวิธีการอัตโนมัติการตรวจสอบได้รับการเสนอสำหรับโปรโตคอลการจัดการเครือข่ายและพวกเขาได้ถูกวิเคราะห์ด้วยเทคนิค หรือวิธีการนอกระบบสัญลักษณ์ซึ่งเป็นเรื่องยาก ใช้เวลานาน และเกิดข้อผิดพลาดได้ง่าย งานที่ทำจากมือ ดังนั้น ในกระดาษนี้เราแรกอธิบาย snmpv3 โปรโตคอลและเสนอบทคัดย่อรูปแบบการทำให้เป็นรูปเป็นร่างความเข้าใจของเราติดตั้งและให้รายละเอียด snmpv3 ในπ - แคลคูลัสประยุกต์