1 ) H o w to d e te c t a n a n o m

1 ) H o w to d e te c t a n a n o m a ly in ge n e ra l: From Prop. 1,
we deduce the following proposition to detect the existence of
an anomaly in a security policy:
P ro p o si t i o n 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) w o H ไป d e t c te m o n n เป็นการลีใน ge n e ระ l:จาก Prop 1เราเดาข้อเสนอต่อไปนี้เพื่อตรวจสอบการมีอยู่ของช่วยการในนโยบายความปลอดภัย:พี โร p o t ศรีฉัน o n 3: นโยบายความปลอดภัยที่กำหนด โดยการกรอง nกฎประกอบด้วยการช่วยถ้าและเฉพาะถ้าออโตมาตา B มีสามารถเข้าถึงสถานะสุดท้ายที่ประกอบด้วย qim สองตัว หรือมากกว่าตัวอย่าง (E1, E2, q34, E4, q54)นโยบายความปลอดภัยของส่วน V ประกอบด้วยตัวอย่างความผิดหลาย เนื่องโตของรูปที่ 3สุดท้ายเข้าหลายรัฐ มีสอง หรือสาม qim เช่น(E1, E2, q34, E4, q54)โปรดสังเกตว่า ความผิดเหล่านั้นอาจไม่ใช่ข้อบกพร่อง การวัตถุประสงค์ของการตรวจสอบของพวกเขาเป็นเพียงการ ดึงความสนใจของการการออกแบบที่จะตัดสินใจหาก จะพึงประสงค์ หรือไม่

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

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

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

1 ) H o w D E Te c t n n o n e M LY ใน GE รา l : prop 1
เราสรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบการมีอยู่ของ
ความผิดปกติในนโยบายการรักษาความปลอดภัย :
p ro n o t o p จังหวัดชั้น 3 : นโยบายความปลอดภัยที่กำหนดโดยกฎการกรอง
n ที่มีความผิดปกติ ถ้าและเพียงถ้าออโตมาตา B
อย่างน้อยหนึ่งสามารถเข้าถึง สุดท้ายรัฐที่มีสอง เพิ่มเติม qim
, ตัวอย่างเช่น ( E1 , E2 , q34 e4 q54
, , )ตัวอย่างเช่น นโยบายการรักษาความปลอดภัยของมาตรา 5 มี
หลายมิติ เพราะหุ่นยนต์ของรูปที่ 3 มี
หลายรัฐสุดท้ายสามารถเข้าถึงได้ด้วย สอง หรือ สาม qim เช่น
( E1 , E2 , q34 e4 q54 , , ) .
ทราบว่าประตูนั้นไม่ได้ผิดวัตถุประสงค์ของการตรวจสอบของพวกเขา
เพื่อดึงดูดความสนใจของ
นักออกแบบที่จะตัดสินใจว่าพวกเขาจะไม่พึงประสงค์หรือไม่