An assurance case is a body of evid

An assurance case is a body of evidence organized into an argument demonstrating that some claim about a
system holds, i.e., is assured. Assurance cases are used to comment about system safety and it serves as a mean to
show that the systems acceptably satisfy their safety properties. Assurance cases perform rigorous security analysis
on safety-critical complex systems. In this paper, the analysis done is an approach to documenting an assurance case
for system security, i.e., a security assurance case. The paper deals with the Assurance cases for Generic Avionic
Mission Control Computer system, by constructing tangible claims and investigating potential vulnerabilities

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

กรณีประกันเป็นตัวจัดระเบียบเป็นอาร์กิวเมนต์เห็นว่า บางอ้างเกี่ยวกับหลักฐานการระบบจัดเก็บ เช่น เป็นมั่นใจ กรณีประกันที่ใช้ในการแสดงความคิดเห็นเกี่ยวกับระบบความปลอดภัย และเป็นหมายถึงการแสดงว่า ระบบ acceptably พร้อมคุณสมบัติด้านความปลอดภัย กรณีประกันทำการวิเคราะห์ความปลอดภัยอย่างเข้มงวดระบบความปลอดภัยสำคัญซับซ้อน ในเอกสารนี้ วิเคราะห์ทำเป็นวิธีการบันทึกข้อมูลการประกันกรณีสำหรับระบบความปลอดภัย เช่น ความปลอดภัยประกันกรณี กระดาษเกี่ยวข้องกับกรณีประกันสำหรับ Avionic ทั่วไปภารกิจควบคุมระบบ สร้างเรียกร้องรูปธรรม และตรวจสอบช่องโหว่ที่อาจเกิดขึ้น

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

กรณีการประกันเป็นร่างกายของหลักฐานจัดเป็นข้อโต้แย้งแสดงให้เห็นว่าการเรียกร้องเกี่ยวกับบาง
ระบบถือคือจะมั่นใจ กรณีประกันที่ใช้ในการแสดงความคิดเห็นเกี่ยวกับความปลอดภัยของระบบและจะทำหน้าที่เป็นความหมายที่จะ
แสดงให้เห็นว่าระบบการยอมรับคุณสมบัติตอบสนองความปลอดภัยของพวกเขา กรณีประกันดำเนินการวิเคราะห์การรักษาความปลอดภัยอย่างเข้มงวด
ในระบบที่ซับซ้อนด้านความปลอดภัยที่สำคัญ ในงานวิจัยนี้ทำวิเคราะห์เป็นแนวทางในการจัดเก็บเอกสารในกรณีที่ความเชื่อมั่น
สำหรับระบบรักษาความปลอดภัยเช่นกรณีการประกันความปลอดภัย ข้อเสนอกระดาษที่มีกรณีการประกันสำหรับ Generic Avionic
ควบคุมภารกิจระบบคอมพิวเตอร์, การเรียกร้องโดยการสร้างตัวตนและการตรวจสอบช่องโหว่ที่อาจเกิดขึ้น

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

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