We propose SHILL, a secure shell sc

We propose SHILL, a secure shell scripting language.
SHILL scripts enable compositional reasoning about security
through contracts that limit the effects of script
execution, including the effects of programs invoked by
the script. SHILL contracts are declarative security policies
that act as documentation for consumers of SHILL
scripts, and are enforced through a combination of language
design and sandboxing.

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

เราเสนอ SHILL ภาษาสคริปต์เชลล์ที่เชื่อถือเปิดการใช้งานสคริปต์ SHILL compositional เหตุผลเกี่ยวกับความปลอดภัยผ่านสัญญาที่จำกัดผลกระทบของสคริปต์การดำเนินการ รวมทั้งผลกระทบของโปรแกรมถูกเรียกโดยสคริปต์นี้ นโยบายความปลอดภัยประกาศมีสัญญา SHILLที่ทำหน้าที่เป็นเอกสารสำหรับผู้บริโภคของ SHILLสคริปต์ และมีบังคับผ่านการรวมกันของภาษาออกแบบและการทำ sandbox

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

เราเสนอ SHILL เป็นภาษาสคริปต์เปลือกที่เชื่อถือได้.
สคริปต์ SHILL ช่วยให้เหตุผลเกี่ยวกับความปลอดภัย compositional
ผ่านสัญญาที่ จำกัด ผลกระทบของสคริปต์
การดำเนินการรวมทั้งผลกระทบของโปรแกรมที่เรียกโดย
สคริปต์ สัญญา SHILL นโยบายการรักษาความปลอดภัยที่เปิดเผย
ที่ทำหน้าที่เป็นเอกสารสำหรับผู้บริโภคของ SHILL
สคริปต์และมีการบังคับใช้ผ่านการรวมกันของภาษา
การออกแบบและ sandboxing

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

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