We have proposed an automata-based

We have proposed an automata-based approach to study
security policies described by filtering rules. We have taken advantage of rigorous automata-based operators to study several
aspects of security policies in a simpler and more systematic
way than with other approaches. More precisely, we have
proposed:

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

เราได้นำเสนอวิธีการใช้ออโตมาตาการเรียนนโยบายความปลอดภัยที่อธิบายไว้ โดยการกรองกฎ เราได้ประโยชน์อย่างเข้มงวดโดยออโตมาตาตัวดำเนินการการศึกษาหลายลักษณะของนโยบายความปลอดภัยง่าย และมีระบบทางมากกว่า ด้วยวิธีอื่น ได้แม่นยำมาก เรามีนำเสนอ:

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

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

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

เราได้เสนอการจำกัดตามแนวการศึกษา
นโยบายรักษาความปลอดภัยที่อธิบายไว้โดยกฎการกรอง เราเอาเปรียบจากผู้ประกอบการเข้มงวดจำกัดศึกษาหลายๆด้าน
ของนโยบายการรักษาความปลอดภัยในระบบมากขึ้นไปกว่า และง่ายกว่า
ด้วยวิธีอื่น ๆ ยิ่งกว่านั้น เรามี
เสนอ :