SecurityWe used model-checking to e

Security
We used model-checking to evaluate the combined security
characteristics of app isolation using both state isolation and
entry-point restriction. Our approach consists of dening the
security goals of app isolation, then modeling our implemen-
tation, its security goals, and attacker behavior in the web
security framework described in [9] using Alloy [30, 31], a
declarative modeling language based on rst-order relational
logic. We then analyze whether the expressed goals were met
with the help of the Alloy analyzer software.

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

รักษาความปลอดภัยเราใช้รุ่นตรวจสอบเพื่อประเมินความปลอดภัยรวมลักษณะของการแยกโปรแกรมประยุกต์ที่ใช้ทั้งสองรัฐแยก และรายการพอยท์จำกัด วิธีการของเราประกอบด้วยเดนิงเป้าหมายความปลอดภัยของโปรแกรมประยุกต์แยก โมเดลแล้ว เกี่ยวของเรา-tation เป้าหมายความปลอดภัย ความโจมตีการทำงานในเว็บกรอบงานความปลอดภัยที่อธิบายไว้ใน [9] โดยใช้โลหะผสม [30, 31], การสร้างโมเดล declarative ภาษาตาม rst สั่งเชิงตรรกะนี้ เราวิเคราะห์แล้วว่าตรงตามเป้าหมายแสดงด้วยความช่วยเหลือของซอฟต์แวร์วิเคราะห์โลหะผสม

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

การรักษาความปลอดภัยเราใช้รูปแบบการตรวจสอบเพื่อประเมินการรักษาความปลอดภัยรวมลักษณะของการแยกการตรวจสอบโดยใช้ทั้งการแยกรัฐและข้อจำกัด การเข้าจุด วิธีการของเราประกอบด้วยของหนิงเป้าหมายการรักษาความปลอดภัยของการแยกการตรวจสอบแล้วการสร้างแบบจำลองของเรา implemen- ช่อเป้าหมายการรักษาความปลอดภัยของตนและพฤติกรรมในการโจมตีเว็บกรอบการรักษาความปลอดภัยที่อธิบายไว้ใน [9] โดยใช้ล้อแม็ก [30 31] เป็นแบบภาษาที่เปิดเผยตามในการสั่งซื้อครั้งแรกสัมพันธ์ตรรกะ จากนั้นเราจะวิเคราะห์ว่าเป้าหมายแสดงได้พบด้วยความช่วยเหลือของซอฟแวร์วิเคราะห์โลหะผสม

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

เราใช้แบบตรวจสอบความปลอดภัย

รวมการรักษาความปลอดภัยประเมินคุณลักษณะของ app ใช้ทั้งรัฐและแยกแยก
รายการจุดจำกัด . วิธีการของเราประกอบด้วย เดอ  หนิง
รักษาความปลอดภัยเป้าหมายของ App แยก , การ implemen ของเรา -
tation เป้าหมาย การรักษาความปลอดภัย และพฤติกรรมของคนร้ายในเว็บ
กรอบความปลอดภัยที่อธิบายไว้ใน [ 9 ] การใช้โลหะผสม [ 30 , 31 ] ,
แบบภาษาเชิงประกาศตามคำสั่งตรรกะเชิง  น่ะ

เราวิเคราะห์แล้วว่ามีเป้าหมายพบ
ด้วยความช่วยเหลือของโลหะผสมวิเคราะห์ซอฟต์แวร์