To address the inadequacies, severa

To address the inadequacies, several new approaches
have been developed. Cryptographic codesigning
is a token that denotes a security property
of the signed code unit. This approach does no restriction
on the mobile code. It works by certifying
the origin of the mobile code and its integrity, but it
cannot address the fundamental security risk inhered
in mobile code, which is related to the behavior of
mobile code. In another word, this approach can certify
the producer but not the behavior of the mobile
code, thus the security of the host cannot be fully ensured.
The Proof-carrying code (PCC) [17] approach
enables safe execution of a code from untrusted source
by requiring a producer to furnish a proof regarding
the safety of the mobile code. It is applicable to
generate proofs for simple properties such as memory
safety, but for complex security properties, it is a
daunting problem to automatically generate proofs.
On the other hand, it is also very difficult for a producer
to know all the security policies which the consumers
are interested in when generating the proofs.
Other approaches, such as code verification [10,12],
code transformation [18], cannot fully address these
problems either. Information flow verifier focuses on
protecting confidentiality by information flow analysis.
The current approach is using type systems, by
which security properties are verified as ordinary data
type checking [21,22,23]. In this approach, the lack of

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

ที่อยู่ inadequacies ใหม่ ๆ หลาย
ได้รับการพัฒนา ตรวจเข้า
มีโทเค็นที่แสดงคุณสมบัติความปลอดภัย
ของหน่วยรหัสที่ได้รับการรับรอง วิธีการนี้ไม่มีข้อจำกัด
รหัสมือถือ ทำงาน โดยได้รับการรับรอง
จุดเริ่มต้นของรหัสโทรศัพท์มือถือ และความสมบูรณ์ของ แต่
ไม่อยู่ความเสี่ยงความปลอดภัยพื้นฐาน inhered
ในรหัสโทรศัพท์มือถือ ที่เกี่ยวข้องกับพฤติกรรมของ
รหัสมือถือ ในคำอื่น วิธีนี้สามารถรับรอง
ผู้ผลิตแต่ไม่ทำงานของมือถือ
รหัส ดังนั้นความปลอดภัยของโฮสต์ไม่สามารถจะเต็มมั่นใจได้
หลักฐานการถือครองรหัส (PCC) [17] วิธี
ช่วยให้ปลอดภัยการดำเนินการของรหัสจากแหล่งไม่น่าเชื่อถือ
โดยกำหนดให้ผู้ผลิตเพื่อให้หลักฐานเกี่ยวกับ
ความปลอดภัยของรหัสมือถือได้ จึงใช้กับ
สร้างหลักฐานคุณสมบัติอย่างเช่นหน่วยความจำ
ปลอดภัย แต่สำหรับคุณสมบัติการรักษาความปลอดภัย เป็น
ปัญหายุ่งยากเพื่อสร้างหลักฐานโดยอัตโนมัติ
บนมืออื่น ๆ ก็ยังยากสำหรับการผลิต
รู้นโยบายความปลอดภัยทั้งหมดที่ผู้บริโภค
สนใจเมื่อสร้างหลักฐาน
วิธีอื่น ๆ เช่นตรวจสอบรหัส [10,12],
รหัสการแปลง [18] ไม่เต็มนี้
ปัญหาใด เน้นการ verifier กระแสข้อมูล
ป้องกันความลับ โดยการวิเคราะห์กระแสข้อมูล
วิธีปัจจุบันใช้ระบบชนิด โดย
คุณสมบัติรักษาความปลอดภัยที่มีการตรวจสอบเป็นข้อมูลธรรมดา
ชนิดตรวจสอบ [21,22,23] ในวิธีการนี้ การขาด

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

เพื่อแก้ไขความบกพร่องวิธีการใหม่ ๆ
ได้รับการพัฒนา codesigning การเข้ารหัสลับ
เป็นสัญลักษณ์ที่หมายถึงสถานที่ให้บริการการรักษาความปลอดภัย
ของหน่วยรหัสลงนาม วิธีการนี้จะไม่มีข้อ จำกัด
ในรหัสมือถือ มันทำงานโดยการรับรอง
ที่มาของรหัสมือถือและความสมบูรณ์ของมัน แต่มันก็
ไม่สามารถรับมือกับความเสี่ยงในการรักษาความปลอดภัยขั้นพื้นฐาน inhered
ในรหัสมือถือที่มีความเกี่ยวข้องกับการทำงานของ
รหัสมือถือ ในคำอื่นวิธีการนี้สามารถรับรอง
ผู้ผลิต แต่ไม่พฤติกรรมของมือถือ
รหัสดังนั้นการรักษาความปลอดภัยของโฮสต์ไม่สามารถมั่นใจได้อย่างเต็มที่
หลักฐานถือรหัส (PCC) [17] วิธีการ
ช่วยให้การทำงานที่ปลอดภัยของรหัสที่ไม่น่าเชื่อถือจาก แหล่งที่มา
โดยการกำหนดให้ผู้ผลิตเพื่อให้หลักฐานเกี่ยวกับ
ความปลอดภัยของรหัสมือถือ มันใช้ได้กับ
สร้างหลักฐานสำหรับคุณสมบัติง่ายเช่นหน่วยความจำ
ความปลอดภัย แต่สำหรับคุณสมบัติการรักษาความปลอดภัยที่ซับซ้อนมันเป็น
ปัญหาที่น่ากลัวในการสร้างหลักฐานโดยอัตโนมัติ
ในขณะที่มันยังเป็นเรื่องยากมากสำหรับผู้ผลิต
ที่จะรู้ทุกนโยบายการรักษาความปลอดภัยที่ ผู้บริโภค
มีความสนใจในเมื่อมีการสร้างหลักฐาน
วิธีการอื่น ๆ เช่นการตรวจสอบรหัส [10,12]
การเปลี่ยนแปลงรหัส [18] ไม่สามารถอย่างเต็มที่ที่อยู่เหล่านี้
ปัญหาอย่างใดอย่างหนึ่ง ตรวจสอบการไหลของข้อมูลมุ่งเน้นไปที่
การป้องกันการรักษาความลับโดยการวิเคราะห์การไหลของข้อมูล
วิธีการในปัจจุบันคือการใช้ระบบการพิมพ์ด้วย
คุณสมบัติการรักษาความปลอดภัยมีการตรวจสอบเป็นข้อมูลธรรมดา
การตรวจสอบชนิด [21,22,23] ในวิธีนี้ขาด

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

เพื่อแก้ไขข้อบกพร่องหลายแนวทางใหม่ๆ
ได้รับการพัฒนา รหัสลับ codesigning
เป็นสัญลักษณ์ที่หมายถึงคุณสมบัติการรักษาความปลอดภัย
ของลงนามรหัสหน่วย วิธีการนี้จะไม่มีข้อ จำกัด
ในรหัสมือถือ มันทำงานโดยรับรอง
ที่มาของรหัสมือถือและความสมบูรณ์ของมัน แต่มันไม่สามารถจัดการความเสี่ยงด้านความปลอดภัยขั้นพื้นฐาน

inhered ในมือถือรหัสซึ่งเกี่ยวข้องกับพฤติกรรมของ
มือถือรหัส ในคำอื่น วิธีนี้รับรองได้
โปรดิวเซอร์แต่ไม่ใช่พฤติกรรมของรหัสมือถือ
จึงรักษาความปลอดภัยของโฮสต์ไม่เต็มว่า
หลักฐานถือรหัส ( PCC ) [ 17 ] วิธี
ให้ประหารปลอดภัยของรหัสจากแหล่งที่ไม่น่าเชื่อถือ โดยโปรดิวเซอร์
ต้องให้หลักฐานเกี่ยวกับ
ความปลอดภัยของรหัสมือถือเป็นใช้ได้

สร้างหลักฐานสำหรับคุณสมบัติง่ายๆเช่นความปลอดภัยของหน่วยความจำ
, แต่สำหรับคุณสมบัติการรักษาความปลอดภัยที่ซับซ้อน มันเป็นปัญหาที่น่ากลัวโดยอัตโนมัติสร้างหลักฐาน
.
บนมืออื่น ๆ , มันก็ยากสำหรับผู้ผลิต
รู้นโยบายการรักษาความปลอดภัยซึ่งผู้บริโภค
สนใจเมื่อสร้างปรู๊ฟ .
วิธีการอื่น ๆเช่น รหัสตรวจสอบ 10,12
[ ] ,รหัสการแปลง [ 18 ] , มันไม่สามารถแก้ปัญหาเหล่านี้
เหมือนกัน การไหลของข้อมูลตรวจสอบเน้น
ปกป้องความลับโดยการวิเคราะห์การไหลของข้อมูล .
วิธีการปัจจุบันที่ใช้ระบบพิมพ์ด้วยคุณสมบัติการรักษาความปลอดภัยตรวจสอบ
ซึ่งเป็นข้อมูลประเภทการตรวจสอบ 21,22,23
[ ธรรมดา ] ในวิธีนี้ขาด