1 ) How to detect an anomaly in gen

1 ) How to detect an anomaly in general: From Prop. 1,
we deduce the following proposition to detect the existence of
an anomaly in a security policy:
Proposition 3 : A security policy defined by n filtering
rules contains an anomaly if and only if the automaton B has
at least one reachable final state that contains two or more qim,
for example (E1 , E2, q34, E4, q54).
For example, the security policy of Section V contains
several anomalies, because the automaton of Figure 3 has
several reachable final states with two or three qim, such as
(E1 , E2, q34, E4, q54).
Note that those anomalies are not necessarily faults, the
objective of their detection is just to draw the attention of the
designer who will decide if they are undesirable or not.

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

1) วิธีการตรวจหาความผิดปกติที่มีโดยทั่วไป: จาก Prop 1เราเดาข้อเสนอต่อไปนี้เพื่อตรวจสอบการมีอยู่ของช่วยการในนโยบายความปลอดภัย:ข้อเสนอที่ 3: ความปลอดภัยนโยบายที่กำหนด โดยการกรอง nกฎประกอบด้วยการช่วยถ้าและเฉพาะถ้าออโตมาตา B มีสามารถเข้าถึงสถานะสุดท้ายที่ประกอบด้วย qim สองตัว หรือมากกว่าตัวอย่าง (E1, E2, q34, E4, q54)นโยบายความปลอดภัยของส่วน V ประกอบด้วยตัวอย่างความผิดหลาย เนื่องโตของรูปที่ 3สุดท้ายเข้าหลายรัฐ มีสอง หรือสาม qim เช่น(E1, E2, q34, E4, q54)โปรดสังเกตว่า ความผิดเหล่านั้นอาจไม่ใช่ข้อบกพร่อง การวัตถุประสงค์ของการตรวจสอบของพวกเขาเป็นเพียงการ ดึงความสนใจของการการออกแบบที่จะตัดสินใจหาก จะพึงประสงค์ หรือไม่

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

1) วิธีการตรวจสอบความผิดปกติโดยทั่วไป: จาก Prop 1. เราได้ข้อสรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบการดำรงอยู่ของความผิดปกติในการกำหนดนโยบายการรักษาความปลอดภัย: โจทย์ที่ 3: นโยบายการรักษาความปลอดภัยที่กำหนดโดยการกรอง n กฎระเบียบที่มีความผิดปกติถ้าหาก B หุ่นยนต์มีอย่างน้อยหนึ่งสามารถเข้าถึงรัฐสุดท้ายที่มีสองคนหรือมากกว่าQim, ตัวอย่างเช่น (E1, E2, Q34, E4, q54). ตัวอย่างเช่นนโยบายการรักษาความปลอดภัยของมาตราวีมีความผิดปกติหลายเพราะหุ่นยนต์ของรูปที่ 3 มีหลายเข้าถึงรัฐสุดท้ายที่มีสองหรือสามQim เช่น(E1, E2, Q34, E4, q54). ทราบว่าความผิดปกติเหล่านี้จะไม่จำเป็นต้องเป็นความผิดพลาดที่วัตถุประสงค์ของการตรวจสอบของพวกเขาเป็นเพียงเพื่อดึงดูดความสนใจของนักออกแบบที่จะตัดสินใจว่าพวกเขาเป็นที่ไม่พึงประสงค์หรือไม่

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

1 ) วิธีการตรวจหาความผิดปกติในทั่วไป : prop 1
เราสรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบการมีอยู่ของ
ความผิดปกติในนโยบายการรักษาความปลอดภัย :
) 3 : นโยบายความปลอดภัยที่กำหนดโดยกฎการกรอง
n ที่มีความผิดปกติ ถ้าและเพียงถ้าออโตมาตา B
อย่างน้อยหนึ่งสามารถเข้าถึงรอบสุดท้ายของรัฐที่มีสองคนหรือมากกว่า qim
( E1 , ตัวอย่างเช่น , E2 q34 e4 , , ,
q54 ) ตัวอย่างเช่นการรักษาความปลอดภัยนโยบายของมาตรา 5 มี
หลายมิติ เพราะหุ่นยนต์ของรูปที่ 3 มี
หลายรัฐสุดท้ายสามารถเข้าถึงได้ด้วย สอง หรือ สาม qim เช่น
( E1 , E2 , q34 e4 q54 , , ) .
ทราบว่าประตูนั้นไม่ได้ผิดวัตถุประสงค์ของการตรวจสอบของพวกเขา
แค่วาด ความสนใจของ
นักออกแบบที่จะตัดสินใจว่าพวกเขาจะไม่พึงประสงค์หรือไม่
.