The actual state isolation is model

The actual state isolation is modeled by Alloy facts. The
rst fact states that each cookie in the model is tagged with
the RenderingEngine of the ScriptContext in which it was
rst received. The next states that access to cookies are
restricted to only ScriptContexts from an origin matching
the domain setting of the cookie executing in a Renderin-
gEngine matching the cookie tag.
Our app container model also includes a browser behavior
relevant to app isolation, as described by Section 6.1: it
associates a newly opened ScriptContext with the existing
RenderingEngine of an app if the top-level URL of the new
ScriptContext is within the app.
Finally, our modeling assumes that users will behave con-
servatively within an isolated app window, meaning attack-
ers cannot get their ScriptContexts in the same Renderin-
gEngine as an app when separate RenderingEngines exist.

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

แยกสถานะที่แท้จริงเป็นจำลอง โดยโลหะผสมข้อเท็จจริง ที่ rst จริงอเมริกาที่แต่ละคุกกี้ในรูปแบบจะติดแท็กด้วยRenderingEngine ของ ScriptContext ที่มันเป็น rst ได้รับ อเมริกาถัดไปที่เข้าถึงคุกกี้จำกัดจากจุดเริ่มต้นของการจับคู่เท่านั้น ScriptContextsการตั้งค่าโดเมนการคุกกี้ในการ RenderingEngine จับคู่แท็กคุกกี้รูปแบบภาชนะ app ของเรายังมีเบราว์เซอร์ลักษณะเกี่ยวข้องกับ app แยก ตามที่อธิบายไว้ โดยส่วน 6.1: มันสมาคม ScriptContext เปิดใหม่พร้อมที่มีอยู่RenderingEngine app ถ้า URL ของระดับสูงสุดScriptContext อยู่ appสุดท้าย โมเดลของเราถือว่า ผู้ใช้จะทำคอน-ภายในหน้าต่างที่แยก app หมายถึง โจมตี - servativelyสกู๊ปไม่รับ ScriptContexts ของพวกเขาในเดียวกัน Renderin-gEngine เป็น app RenderingEngines แยกกันอยู่

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

การแยกรัฐที่เกิดขึ้นจริงเป็นแบบจำลองโดยข้อเท็จจริงล้อแม็ก
รัฐแรกความเป็นจริงว่าแต่ละคุกกี้ในรูปแบบที่มีการติดแท็กด้วย
RenderingEngine ของ ScriptContext
ในการที่จะเป็นได้รับแรก รัฐต่อไปว่าการเข้าถึงคุกกี้
จำกัด ScriptContexts
จากจุดเริ่มต้นที่ตรงกับการตั้งค่าโดเมนของคุกกี้ดำเนินการในRenderin-
gEngine แท็กคุกกี้. การตรวจสอบรูปแบบภาชนะของเรายังมีพฤติกรรมที่เบราว์เซอร์ที่เกี่ยวข้องกับการตรวจสอบแยกตามที่อธิบายมาตรา 6.1: มันเชื่อมโยงที่เพิ่งเปิดใหม่ScriptContext กับที่มีอยู่RenderingEngine ของแอพพลิเคถ้า URL ระดับบนสุดของใหม่ScriptContext เป็นภายใน app. ในที่สุดการสร้างแบบจำลองของเราอนุมานว่าผู้ใช้จะทำงานอย่างต่อservatively ภายในหน้าต่างการตรวจสอบแยกความหมาย attack- ERS ไม่สามารถรับ ScriptContexts ของพวกเขาใน Renderin- เดียวกันgEngine เป็น app เมื่อ RenderingEngines แยกต่างหากที่มีอยู่

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

การแยกสถานะที่แท้จริง โดยข้อเท็จจริงแบบโลหะผสม
 RST ความเป็นจริงรัฐแต่ละคุกกี้ในรูปแบบแท็กด้วย
renderingengine ของ scriptcontext ซึ่งมันถูก
 ทีได้รับ ต่อไป ระบุว่า การเข้าถึงคุกกี้
จำกัดเพียง scriptcontexts จากที่มาจับคู่
โดเมนการตั้งค่าของคุกกี้รันใน renderin -
gengine จับคู่คุกกี้
แท็กรูปแบบภาชนะของเรา app ยังมีพฤติกรรมเบราว์เซอร์
ที่เกี่ยวข้องกับ App แยกตามที่อธิบายไว้โดยส่วน 6.1 :
สมาคมเปิดใหม่ scriptcontext กับที่มีอยู่
renderingengine ของ app ถ้าที่อยู่บนสุดของ scriptcontext ภายใน app ใหม่
.
ในที่สุดโมเดลลิ่งของเราถือว่า ผู้ใช้จะต้องคอน -
servatively ในการแยกความหมายโจมตี -
app หน้าต่างERS ไม่สามารถรับของ scriptcontexts ในเดียวกัน renderin -
gengine เป็น app ที่แยกต่างหาก renderingengines อยู่จริง