SlideServe
Télécharger Obtenir Pro
Menu
Accueil Pro
Préférences
ApparenceLight Aide et commentaires
© SlideServe · v2026

A Language-based Perspective on Web Application Security

clio avatar
clio
13 diapositives · 261 Views · Jul 13, 2014

This chapter, co-led by Jonas Magazinius from Chalmers University of Technology, explores the critical role of language-based security models in web applications. With over 15 years of experience in the field, the author's insights delve into the challenges and solutions to web security, leveraging static and dynamic analysis, public and secret enforcement, and innovative approaches to safeguarding user data. The text emphasizes the evolving landscape of web application security, making it essential reading for developers, security professionals, and researchers alike.

A Language-based Perspective on Web Application Security - slide 1
01 / 13A Language-based Perspective on Web Application Security
1 / 17

Télécharger la présentation

A Language-based Perspective on Web Application Security
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation

  1. A Language-based Perspective on Web Application Security Jonas Magazinius Chapter co-leader Chalmers University of Technology jonas.magazinius@chalmers.se 2011-08-25

  2. Introduction • PhD at Chalmers • Language-based Security research group • Co-leader OWASP • Gothenburg local chapter • Security tweeter • @internot_

  3. Web Applications 15 Years Ago Loremipsum dolor sit amet, consectetueradipiscingelit, seddiamnonummynibheuismodtinciduntutlaoreetdolore magna aliquameratvolutpat. Utwisienim ad minim veniam, quisnostrudexercitationullamcorpersuscipitlobortisnislutaliquip ex ea commodoconsequat. Duisautemveleumiriure dolor in hendrerit in vulputatevelitessemolestieconsequat, velillumdoloreeufeugiatnullafacilisis at veroeros et accumsan et iustoodiodignissim qui blanditpraesentluptatumzzrildelenitaugueduisdoloretefeugaitnullafacilisi. Nam libertempor cum solutanobiseleifend option conguenihilimperdiet doming id quod mazimplacerat facer possimassum. Same-Origin Policy

  4. Web Applications Today Loremipsum dolor sit amet, consectetueradipiscingelit, seddiamnonummynibheuismodtinciduntutlaoreetdolore magna aliquameratvolutpat. Utwisienim ad minim veniam, quisnostrudexercitationullamcorpersuscipitlobortisnislutaliquip ex ea commodoconsequat. Duisautemveleumiriure dolor in hendrerit in vulputatevelitessemolestieconsequat, velillumdoloreeufeugiatnullafacilisis at veroeros et accumsan et iustoodiodignissim qui blanditpraesentluptatumzzrildelenitaugueduisdoloretefeugaitnullafacilisi. Nam libertempor cum solutanobiseleifend option conguenihilimperdiet doming id quod mazimplacerat facer possimassum. Typi non habentclaritateminsitam; estususlegentis in iis qui faciteorumclaritatem. Investigationesdemonstraveruntlectoreslegere me lius quod ii leguntsaepius. Claritasestetiamprocessusdynamicus, qui sequitur mutationemconsuetudiumlectorum. Mirumestnotare quam litteragothica, quam nuncputamusparumclaram, anteposueritlitterarumformashumanitatis per seaculaquartadecima et quintadecima. Eodemmodotypi, qui nuncnobisvidenturparumclari, fiantsollemnes in futurum.

  5. Mashups

  6. The Mashup Security Problem 1337 of your friends likes this Enter credit card: 1234 5678 9012 3456

  7. Language-based Security • public = secret + 1; • if (secret) { • public = true; • } else { • public = false; • } Secret Secret Public Public Escapes Requires declassification {“secret+1”: Public}

  8. A Language-based Approach Public Public

  9. Enforcement Static analysis Dynamic analysis secret=false; if (secret) { public=true; } alert(public); secret=false; if (secret) { public=true; } alert(public);

  10. x = expr; *x = lev(expr); if (x) { y = expr; *y = lev(x + expr); } Shadow variables • { • owner: • ‘chalmers.se’, • readers: • [‘google.com’] • } Public Native support?

  11. On-the-fly Rewriting Information flow Policy No assumptions about programming practices No change to the runtime environment is needed Unsafe code Safe monitored code Trans-formation Monitor Security label tracking

  12. A Language-based Approach Public Public

  13. Where Are We Now? • ECMAScript 5 • DOM interaction • Events • Integrity THANK YOU!