Recently, many research topics have

Recently, many research topics have mainly focused on applying formal methods to broad class of network protocols and there have been vast progress in the development of a formal framework for specifying and reasoning about security properties. It is very important to verify protocols with an unbounded number of sessions, while relying as little as possible on human involvement.

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

ล่าสุด หัวข้องานวิจัยต่าง ๆ ได้ส่วนใหญ่เน้นใช้วิธีการทางโปรโตคอลเครือข่ายระดับกว้าง และมีความคืบหน้าในการพัฒนาของกรอบอย่างเป็นทางการระบุ และการใช้เหตุผลเกี่ยวกับคุณสมบัติความปลอดภัย จำเป็นอย่างยิ่งในการตรวจสอบโพรโทคอ ด้วยจำนวนรอบเวลา ในขณะที่น้อยที่สุดในการมีส่วนร่วมที่มนุษย์ได้อาศัยงที่

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

เมื่อเร็ว ๆ นี้หัวข้อการวิจัยจำนวนมากได้มุ่งเน้นในการใช้วิธีการอย่างเป็นทางการในชั้นเรียนในวงกว้างของโปรโตคอลเครือข่ายและมีความคืบหน้ามากในการพัฒนากรอบการทำงานอย่างเป็นทางการสำหรับการระบุและการให้เหตุผลเกี่ยวกับการรักษาความปลอดภัยคุณสมบัติ มันเป็นสิ่งสำคัญมากที่จะตรวจสอบโปรโตคอลที่มีจำนวนมากมายของการประชุมในขณะที่อาศัยน้อยที่สุดเท่าที่เป็นไปได้ในการมีส่วนร่วมของมนุษย์

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

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