Security Goals.The broad security g

Security Goals.
The broad security goal of both our mechanisms are iso-
lation. Isolation protects sensitive resources belonging to
the app, such as non-entry URLs, scripts, and user creden-
tials, against unauthorized use by web pages or scripts not
belonging to the app. We distill two isolation goals which, if
met, will provide the app with defenses against the attacks
described in Section 3.1. (This property holds because the
attacks either require an attacker to gain access to exploitable
URLs within the app or use sensitive state from the app, or
both.)
These goals are modeled by Alloy assertions (logical pred-
icates whose consistency with the model may be checked)
analogous to the following statements:

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

เป้าหมายความปลอดภัยเป้าหมายความปลอดภัยที่กว้างทั้งกลไกของเราเป็น iso-เครื่องดูด แยกปกป้องทรัพยากรที่สำคัญของapp ไม่ใช่รายการ Url สคริปต์ และผู้ใช้ creden-tials กับโดยใช้เว็บเพจหรือสคริปต์ไม่ของ app เราแยกสองแยกเป้าหมายที่ ถ้าพบ จะมี app ป้องกันการโจมตีอธิบายไว้ในหัวข้อ 3.1 (นี่เก็บเนื่องจากการการโจมตีจะต้องโจมตีเข้า exploitableUrl ภายใน app หรือใช้สำคัญรัฐจาก app หรือทั้งสอง)เป้าหมายเหล่านี้จะสร้างแบบจำลอง โดยสัมฤทธิ์ assertions (ตรรกะ pred-icates ที่มีความสอดคล้องกับรูปแบบอาจมีการตรวจสอบ)คล้ายคลึงกับคำสั่งต่อไปนี้:

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

เป้าหมายการรักษาความปลอดภัย.
เป้าหมายการรักษาความปลอดภัยในวงกว้างของกลไกทั้งสองของเรามี iso-
lation แยกปกป้องทรัพยากรที่มีความสำคัญอยู่ในการตรวจสอบเช่น URL ที่ไม่ใช่รายการสคริปต์และใช้ creden- tials กับการใช้งานที่ไม่ได้รับอนุญาตจากหน้าเว็บหรือสคริปต์ไม่ได้อยู่ในการตรวจสอบ เราสองเป้าหมายกลั่นแยกซึ่งหากพบจะให้ app ที่มีการป้องกันต่อต้านการรุกรานที่อธิบายไว้ในมาตรา3.1 (สถานที่ให้บริการนี้ถือเป็นเพราะการโจมตีทั้งต้องมีการโจมตีเพื่อให้เข้าถึงโหว่URL ที่ภายใน app หรือใช้รัฐที่สำคัญจากการตรวจสอบหรือทั้งสอง.) เป้าหมายเหล่านี้เป็นแบบจำลองโดยยืนยันแม็กซ์ (pred- ตรรกะicates ที่มีความสอดคล้องกับรูปแบบอาจ มีการตรวจสอบ) คล้ายกับข้อความต่อไปนี้:

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

เป้าหมายความมั่นคง .
กว้างเป้าหมายของกลไกการรักษาความปลอดภัยของเราทั้งสองเป็น ISO -
lation . การปกป้องทรัพยากรของไว

app เช่น URL , รายการไม่มีสคริปต์ และผู้ใช้ creden -
tials ป้องกันการใช้ไม่ได้รับอนุญาตโดยหน้าเว็บหรือสคริปต์ไม่
เป็นของ app เราแยกสองแยกเป้าหมายซึ่งถ้า
เจอกัน จะให้ app ด้วยการป้องกันต่อต้านการโจมตี
อธิบายไว้ในมาตราที่ 1 .( คุณสมบัตินี้ถือเพราะการโจมตีด้วย
ต้องโจมตีเพื่อเข้าถึง URL exploitable
ภายใน app หรือใช้สถานะที่อ่อนไหวจาก app หรือ
2 )
เป้าหมายเหล่านี้เป็นแบบโลหะผสม assertions ( ตรรกะเปรต -
icates ที่มีความสอดคล้องกับรูปแบบอาจจะถูกตรวจสอบ )
คล้ายคลึงกับข้อความต่อไปนี้ :