SHILL offers language abstractions

SHILL offers language abstractions for reasoning about
the authority of pieces of software and their composition.
Specifically, SHILL (1) introduces a capability-based
scripting language with language abstractions (such as
contracts and wallets) to use capabilities effectively,
and (2) implements, on a commodity operating system,
capability-based sandboxes that extend the guarantees of
the scripting language to binary executables and legacy
applications. These language abstractions, and the enforcement
of these abstractions, make it possible to manage
authority and follow POLP, even when using and
combining untrusted programs.
The rest of the paper is structured as follows. In Section
2 we present the design of SHILL. Our implementation
of SHILL in FreeBSD 9.2 is described in Section 3.
We evaluate SHILL by using it to implement several case
studies, and measure the overhead of SHILL’s security
mechanisms. We present the evaluation results in Section
4. Section 5 describes related work.

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

SHILL มี abstractions ภาษาการให้เหตุผลเกี่ยวกับอำนาจของชิ้นส่วนของซอฟต์แวร์และองค์ประกอบของพวกเขาเฉพาะ SHILL (1) แนะนำตามความสามารถภาษาการเขียนสคริปต์ ด้วยภาษา abstractions (เช่นสัญญาและกระเป๋าสตางค์) การใช้ความสามารถได้อย่างมีประสิทธิภาพและ ดำเนินการ (2) บนระบบปฏิบัติการสินค้าโภคภัณฑ์sandboxes ที่ใช้ความสามารถที่ขยายการรับประกันของภาษาสคริปต์ executables ที่ไบนารีและมรดกการใช้งาน Abstractions เหล่านี้ภาษา และการบังคับใช้ของ abstractions เหล่านี้ ทำให้สามารถจัดการหน่วยงานและปฏิบัติตาม POLP แม้เมื่อใช้ และรวมโปรแกรมที่ไม่น่าเชื่อถือส่วนเหลือของกระดาษที่มีโครงสร้างดัง ในส่วน2 ที่เรานำเสนอการออกแบบของ SHILL การใช้งานของเราของ SHILL ใน FreeBSD 9.2 ได้อธิบายไว้ในส่วนที่ 3เราประเมิน SHILL โดยใช้การใช้หลายกรณีการศึกษา และวัดค่าใช้จ่ายในการรักษาความปลอดภัยของ SHILLกลไก เรานำเสนอผลการประเมินผลในส่วน4. ส่วนที่ 5 อธิบายถึงงานที่เกี่ยวข้อง

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

SHILL มีแนวคิดภาษาสำหรับเหตุผลเกี่ยวกับ
อำนาจหน้าที่ของชิ้นส่วนของซอฟแวร์และองค์ประกอบของพวกเขา.
โดยเฉพาะ SHILL (1) แนะนำความสามารถที่ใช้
ภาษาสคริปต์ที่มีแนวคิดภาษา (เช่น
สัญญาและกระเป๋าสตางค์) เพื่อใช้ความสามารถได้อย่างมีประสิทธิภาพ
และ (2) การดำเนินการ บนระบบปฏิบัติการที่สินค้าโภคภัณฑ์
เรียงรายที่ขยายการค้ำประกันของความสามารถที่ใช้
ภาษาสคริปต์เพื่อ executables ไบนารีและมรดกของ
การใช้งาน เหล่านี้นามธรรมภาษาและการบังคับใช้
ของแนวคิดเหล่านี้ให้มันเป็นไปได้ในการจัดการ
อำนาจและปฏิบัติตาม POLP แม้เมื่อมีการใช้และ
การรวมโปรแกรมที่ไม่น่าเชื่อถือ.
ส่วนที่เหลือของกระดาษที่มีโครงสร้างดังนี้ ในส่วนที่
2 เรานำเสนอการออกแบบของ SHILL การดำเนินงานของเรา
ของ SHILL ใน FreeBSD 9.2 อธิบายไว้ในมาตรา 3
เราจะประเมิน SHILL โดยใช้มันในการดำเนินการหลายกรณี
ศึกษาและวัดค่าใช้จ่ายในการรักษาความปลอดภัย SHILL ของ
กลไก เรานำเสนอผลการประเมินในมาตรา
4 หมวดที่ 5 อธิบายการทำงานที่เกี่ยวข้องกับ

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

ปั่นราคาให้เหตุผลเกี่ยวกับภาษานามธรรมอำนาจของชิ้นส่วนของซอฟต์แวร์และส่วนประกอบของพวกเขาโดยเฉพาะ ปั่นราคา ( 1 ) แนะนำความสามารถตามภาษาสคริปต์ด้วยภาษานามธรรม เช่นสัญญาและกระเป๋า ) ใช้ความสามารถในการได้อย่างมีประสิทธิภาพ( 2 ) ใช้กับสินค้าระบบปฏิบัติการความสามารถในการใช้ sandboxes ที่ขยายรับประกันของใช้ภาษาสคริปต์เพื่อ executables ไบนารีและมรดกการประยุกต์ใช้ นามธรรมใช้ภาษาเหล่านี้ของนามธรรมเหล่านี้ทำให้มันเป็นไปได้ที่จะจัดการอำนาจตาม polp แม้ว่าการรวมโปรแกรมที่ไม่น่าเชื่อถือ .ส่วนที่เหลือของกระดาษมีโครงสร้างดังนี้ ในมาตราเรานำเสนอการออกแบบปั่นราคา . การดำเนินงานของเราการปั่นราคาใน FreeBSD 9.2 ที่อธิบายไว้ในมาตรา 3เราประเมินปั่นราคา โดยใช้ ใช้ หลายกรณีการศึกษาและวัดในการปั่นราคาของกลไก เรานำเสนอผลการประเมินในส่วน4 . มาตรา ๕ อธิบายที่เกี่ยวข้องงาน