Formal methods for web security

در چند سال گذشته، بسیاری از محققان امنیتی پیشنهاد دادند که بستر وب را با بنیادهای دقیق تر به ارمغان بیاورند، و به همین دلیل استدلال دقیقی درباره مسائل امنیتی وب امکان پذیر است. با توجه به پیچیدگی وب، تلاش های پژوهشی در این منطقه در مورد موضوعات و مشکلات مختلف پراکنده شده است و از آنجایی که ورود روش های رسمی در امنیت وب تا کنون آسان نیست، آسان نیست. در این نظرسنجی، ما پیشنهادات موجود در زمینه روش های رسمی امنیت وب را جمع آوری، طبقه بندی و بررسی می کنیم و شامل موضوعات مختلفی می شویم: امنیت جاوا اسکریپت، امنیت مرورگر، امنیت وب سایت و تجزیه و تحلیل پروتکل وب. بر اساس ادبیات موجود، توصیه هایی را برای محققانی که در این منطقه کار می کنند، مورد بحث قرار می دهیم تا اطمینان حاصل شود که پیشنهادات آنها دارای ساز و کار مناسب برای پذیرش در مقیاس بزرگ است.