2 ) H o w to d e te c t a sh a d o

2 ) H o w to d e te c t a sh a d o win g a n o m a ly : The nonexistence
of anomaly in general implies the nonexistence of any category
of anomalies. On the other hand, the existence of anomaly
in general implies that specific anomalies may exist. For
example, let us show how to detect (i.e. verify the existence
of) a shadowing anomaly. As defined in [18], a rule can be
shadowed by one or a set of preceding rules that match all
the packets which also match the shadowed rule, while they
perform a different action. In this case, all the packets that
one rule intends to deny (accept) can be accepted (denied) by
previous rule(s); thus, the shadowed rule will never be taken
effect. It is important to discover shadowed rules and alert the
administrator to correct this error by reordering or removing
these rules [2]. Based on this definition and using Prop. 1, we
deduce the following proposition to detect the specific anomaly
of shadowing using our automaton B:
P ro p o si t i o n 4 : In a security policy defined by n filtering
rules R1, · · · , Rn, rule Rj is shadowed by rule Ri if and only
if the following three conditions hold:
• Ri has priority on Rj , i.e. i < j;
• Action of Ri is different from action of Rj (ai = aj);
• For every reachable final state r of the automaton B:
if r contains qjm, then r contains qim.
For example, there is no shadowing anomaly in the security
policy used in Section V, because there is no pair of rules
(Ri, Rj ) that respects the three conditions of prop. 4 in the
automaton of Figure 3.

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

2) H o w ไป d e te c t เป็น sh d o ชนะ m n o g ลี: ที่ nonexistenceของความผิดปกติโดยทั่วไปหมายถึง nonexistence ประเภทใด ๆของความผิด ในทางกลับกัน มีความผิดปกติโดยทั่วไป หมายถึงว่า อาจมีความผิดเฉพาะ สำหรับตัวอย่าง ให้เราแสดงวิธีการตรวจสอบ (เช่นตรวจสอบการมีอยู่จากความผิดปกติ shadowing กฎได้อย่างเดียว [18],แรเงา โดยหนึ่งหรือชุดของกฎที่ตรงทั้งหมดก่อนแพ็กเก็ตที่ตรงกับกฎมีเงา ในขณะที่พวกเขายังดำเนินการกระทำอื่น ในกรณีนี้ แพ็กเก็ตทั้งหมดที่กฎหนึ่งตั้งใจจะปฏิเสธ (ยอมรับ) สามารถยอมรับ (ปฏิเสธ) โดยกฎก่อนหน้า ดังนั้น กฎมีเงาจะไม่นำมาผลการ จะต้องมีเงากฎและการแจ้งเตือนนี้ผู้ดูแลการแก้ไขข้อผิดพลาดนี้ โดยการสั่งซื้อใหม่ หรือเอาออกกฎเหล่านี้ [2] ตามข้อกำหนดนี้และใช้ Prop 1 เราเลิกข้อเสนอต่อไปนี้เพื่อตรวจหาความผิดปกติเฉพาะของใช้ของออโตมาตา b:แรเงาพี โร p o t ศรีฉัน o n 4: ในนโยบายความปลอดภัยที่กำหนด โดยการกรอง nกฎ R1, ··· , Rn กฎ Rj เป็นแรเงา โดยกฎ Ri ถ้า และเดียวถ้ากดค้างไว้สามเงื่อนไขต่อไปนี้:•รีมีความสำคัญใน Rj เช่นฉัน < j•การดำเนินการของรีจะแตกต่างจากการกระทำของ Rj (ai = aj);•สำหรับ r ทุกรัฐสามารถเข้าถึงสุดท้ายของออโตมาตา b:ถ้า r ประกอบด้วยค่า qjm แล้ว r ประกอบด้วย qimตัวอย่าง มีอนอ shadowing ไม่ปลอดภัยนโยบายที่ใช้ในส่วน V เพราะไม่มีคู่ของกฎ(Ri, Rj) ที่เคารพเงื่อนไขสามของ prop 4 ในการออโตมาตา 3 รูป

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

2) H โอ๊ยถึงเต้ cta ดวลจุดโทษชนะ ganoma กังวลใจเหมือนที่: nonexistence
ของความผิดปกติโดยทั่วไปหมายถึง nonexistence ของประเภทใด ๆ
ของความผิดปกติ
ในทางกลับกันการดำรงอยู่ของความผิดปกติโดยทั่วไปหมายถึงความผิดปกติที่อาจมีอยู่ที่เฉพาะเจาะจง สำหรับตัวอย่างที่ให้เราแสดงให้เห็นว่าการตรวจสอบ(เช่นตรวจสอบการดำรงอยู่ของ) กเงาผิดปกติ ตามที่กำหนดไว้ใน [18] กฎสามารถเงาโดยหนึ่งหรือชุดของกฎก่อนหน้านี้ที่ตรงกับทุกแพ็กเก็ตซึ่งยังตรงกับกฎเงาในขณะที่พวกเขาดำเนินการที่แตกต่างกัน ในกรณีนี้แพ็คเก็ตทั้งหมดที่กฎหนึ่งตั้งใจที่จะปฏิเสธ (ยอมรับ) สามารถเป็นที่ยอมรับ (ปฏิเสธ) โดยกฎก่อนหน้า (s) ดังนั้นกฎเงาจะไม่ต้องดำเนินการมีผลบังคับใช้ มันเป็นสิ่งสำคัญที่จะค้นพบกฎเงาและแจ้งเตือนผู้ดูแลระบบเพื่อแก้ไขข้อผิดพลาดนี้โดยการจัดเรียงใหม่หรือถอดกฎเหล่านี้[2] . ขึ้นอยู่กับคำนิยามนี้และการใช้เสา 1 เราได้ข้อสรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบความผิดปกติที่เฉพาะเจาะจงของแชโดว์โดยใช้หุ่นยนต์ของเราB: P โรปอ si การที่ 4: ในนโยบายการรักษาความปลอดภัยที่กำหนดโดยการกรอง n กฎ R1, ···, Rn กฎ Rj เป็นเงาโดยกฎ Ri ถ้าและเพียงถ้าต่อไปนี้สามเงื่อนไขถือ: •รีมีความสำคัญกับ Rj คือฉัน <เจ; •การกระทำของรีจะแตกต่างจากการกระทำของ Rj (? ไอ = aj); •สำหรับทุกคน สามารถเข้าถึงได้รัฐสุดท้ายอาร์ของหุ่นยนต์บี: ถ้าอามี qjm แล้วอามี Qim. ยกตัวอย่างเช่นไม่มีความผิดปกติแชโดว์ในการรักษาความปลอดภัยนโยบายที่ใช้ในการมาตรา V เพราะมีคู่ของกฎไม่ (Ri, Rj) ที่เคารพ สามเงื่อนไขของเสา 4 ในหุ่นยนต์ของรูปที่3

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

2 ) H o w D E Te c t sh D o N g o ชนะกุลหลี : การขาด
ของความผิดปกติทั่วไปหมายถึงการขาดของหมวดหมู่
ของความผิดปกติ บนมืออื่น ๆ , การดำรงอยู่ของความผิดปกติโดยทั่วไปหมายถึงเฉพาะ
ความผิดปกติอาจจะอยู่ สำหรับ
ตัวอย่าง ให้เราแสดงวิธีการตรวจสอบ ( เช่นตรวจสอบการมีอยู่ของ
) ตามมิติ ตามที่กำหนดไว้ใน [ 18 ] กฎสามารถ
เงาโดยหนึ่งหรือชุดของกฎที่ตรงกับที่ก่อนหน้านี้ทั้งหมด
แพ็คเก็ตซึ่งยังตรงกับเงากฎในขณะที่พวกเขา
ดำเนินการการกระทำที่แตกต่างกัน ในกรณีนี้ทุกแพ็กเก็ตที่
กฎหนึ่งตั้งใจที่จะปฏิเสธ ( ไม่ยอมรับ ) ได้รับการยอมรับ ( ปฏิเสธ ) โดย
กฎก่อนหน้า ( s ) ; ดังนั้น , เงากฎจะไม่เคยได้รับผล . มันเป็นสิ่งสำคัญที่จะค้นพบกฎและการแจ้งเตือน
เงาผู้ดูแลระบบเพื่อแก้ไขข้อผิดพลาดนี้โดยการสั่งใหม่หรือเอา
กฎพวกนี้ [ 2 ] ตามนิยามนี้ และการใช้อุปกรณ์ 1 เรา
สรุปข้อเสนอต่อไปนี้เพื่อตรวจสอบเฉพาะมิติของเงา โดยใช้หุ่นยนต์
B :
p ro n o t o p ซิฉัน 4 : ในนโยบายการรักษาความปลอดภัยที่กำหนดโดยกฎการกรอง
( R1 · · · , RN , กฎ RJ เป็นเงาโดยกฎริถ้าเพียง
ถ้า ต่อไปนี้สามเงื่อนไข :
ถือ- ริมีความสำคัญกับ RJ คือ i < J ;
- การกระทำของยูริจะแตกต่างจากการกระทำของ RJ ( ไอ  = AJ ) ;
- R สามารถสุดท้ายสำหรับทุกสภาพของหุ่นยนต์ B :
ถ้า R มี qjm แล้ว R มี qim .
ตัวอย่างเช่น ไม่มีเงาผิดปกติการใช้ในส่วน V
นโยบายเพราะไม่มีคู่ของกฎ
( ริ , RJ ) ที่เคารพสามเงื่อนไขของฉาก 4
หุ่นยนต์ของรูปที่ 3