• a procedure to synthesize an auto

• a procedure to synthesize an automata-based implementation of a security policy;
• an automata-based method to:
◦ verify if a security policy is complete;
◦ verify if a security policy contains anomalies;
◦ detect functional discrepancies between several
implementations of a security policy.
As future work, we propose to study the composition of
our results with an initial specification of the system in order
to obtain a secure system by construction.
We also intend to use our automata-based approach to study
the following elements:
• Study the space and time complexities of the various
operations used in our approach, such as: synchronous
product, verifying completeness, detecting anomalies,
and detecting discrepancies.
• Develop a general method to detect all categories of
anomalies in a security policy.
• Test the conformance of a security policy and verify
if it violates given requirements.
• Design security policies that can adapt dynamically to
the filtered traffic.

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

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

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

•ขั้นตอนการสังเคราะห์การใช้งานออโตตามนโยบายการรักษาความปลอดภัย;
•วิธีการออโตที่ใช้ในการ:
◦ตรวจสอบว่านโยบายการรักษาความปลอดภัยเสร็จสมบูรณ์;
◦ตรวจสอบว่านโยบายการรักษาความปลอดภัยที่มีความผิดปกติ; ◦ตรวจสอบความแตกต่างระหว่างการทำงานหลายการใช้งานของ. นโยบายการรักษาความปลอดภัยในขณะที่การทำงานในอนาคตเราเสนอเพื่อศึกษาองค์ประกอบของผลของเราที่มีสเปคเริ่มต้นของระบบในการสั่งซื้อเพื่อให้ได้ระบบรักษาความปลอดภัยโดยการก่อสร้าง. นอกจากนี้เรายังตั้งใจที่จะใช้วิธีการออโตตามของเราเพื่อศึกษาองค์ประกอบต่อไปนี้: • การศึกษาความซับซ้อนพื้นที่และเวลาของต่าง ๆการดำเนินงานที่ใช้ในแนวทางของเราเช่นการซิงโครผลิตภัณฑ์การตรวจสอบความสมบูรณ์การตรวจสอบความผิดปกติ. และการตรวจสอบความแตกต่าง•พัฒนาวิธีการทั่วไปในการตรวจสอบทุกประเภท. ความผิดปกติในการกำหนดนโยบายการรักษาความปลอดภัย•ทดสอบความสอดคล้องของนโยบายการรักษาความปลอดภัยและตรวจสอบหากมีการฝ่าฝืนข้อกำหนดที่กำหนด. •นโยบายด้านความปลอดภัยการออกแบบที่สามารถปรับตัวเข้ากับแบบไดนามิกเพื่อการจราจรที่ผ่านการกรอง

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

- กระบวนการสังเคราะห์มีจำกัดตามการดำเนินการของนโยบายการรักษาความปลอดภัย ;
- มีจำกัดตามวิธีการ :
◦ตรวจสอบนโยบายการรักษาความปลอดภัยสมบูรณ์ ;
◦ตรวจสอบว่านโยบายการรักษาความปลอดภัยที่มีหน้าที่ตรวจจับความผิดปกติ ;
◦ความขัดแย้งระหว่างหลาย

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

โดยการก่อสร้าง เรายังตั้งใจที่จะใช้ออโตมาตาตามแนวการศึกษาองค์ประกอบต่อไปนี้ :
-
ศึกษาพื้นที่และเวลา ความซับซ้อนของการใช้วิธีการต่าง ๆ
,
ผลิตภัณฑ์ของเราเช่น ซิงโคร การตรวจสอบครบถ้วน , การตรวจจับความผิดปกติและการตรวจหา

, ความขัดแย้ง- พัฒนาวิธีทั่วไปเพื่อตรวจสอบทุกประเภทของความผิดปกติในนโยบายการรักษาความปลอดภัย
.
- ทดสอบความสอดคล้องของนโยบายความปลอดภัยและตรวจสอบ

หากฝ่าฝืนให้ความต้องการ บริการออกแบบนโยบายรักษาความปลอดภัยที่สามารถปรับแบบไดนามิก

กรองการจราจร