Web applications are vulnerable to

Web applications are vulnerable to semantic attacks such as
denial of service due to infinite loops caused by malicious
inputs and unauthorized database operations due to missing
security checks. Unlike “conventional” threats such as SQL
injection and cross-site scripting, these attacks exploit bugs
in the logic of the vulnerable application and cannot be
discovered using data-flow analysis alone.
We give the first characterization of these types of vulnerabilities in PHP applications, develop novel inter-procedural
algorithms for discovering them in PHP source code, and
implement these algorithms as part of SAFERPHP, a framework for static security analysis of PHP applications. SAFERPHP uncovered multiple, previously unreported vulnerabilities in several popular Web applications

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

การใช้งานเว็บที่มีความเสี่ยงต่อการโจมตีความหมายเช่นการปฏิเสธการให้บริการอันเนื่องมาจากลูปไม่มีที่สิ้นสุดที่เป็นอันตรายที่เกิดจากปัจจัยการผลิตและการดำเนินงานฐานข้อมูลไม่ได้รับอนุญาตเนื่องจากไม่มีการตรวจสอบการรักษาความปลอดภัย ซึ่งแตกต่างจาก "ธรรมดา" ภัยคุกคามเช่น SQL ฉีดและ cross-site scripting โจมตีเหล่านี้ใช้ประโยชน์จากข้อบกพร่องในตรรกะของโปรแกรมที่มีช่องโหว่และไม่สามารถค้นพบโดยใช้การวิเคราะห์การไหลของข้อมูลเพียงอย่างเดียว. เราจะให้ตัวละครแรกของประเภทนี้ของช่องโหว่ในโปรแกรม PHP การพัฒนาระหว่างขั้นตอนนวนิยายอัลกอริทึมสำหรับการค้นพบแหล่งที่มาของพวกเขาในโค้ดPHP และใช้ขั้นตอนวิธีการเหล่านี้เป็นส่วนหนึ่งของSAFERPHP กรอบสำหรับการวิเคราะห์การรักษาความปลอดภัยคงที่ของโปรแกรม PHP SAFERPHP เปิดหลายช่องโหว่แจ้งความก่อนหน้านี้ในการใช้งานเว็บที่นิยมหลาย

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

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

หายไปการตรวจสอบความปลอดภัย ซึ่งแตกต่างจาก " ภัยคุกคามปกติ " เช่นการฉีด SQL และสคริปต์ข้ามไซต์

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