Difference between revisions of "Category:OWASP Flash Security Project"

Revision as of 19:19, 22 February 2014

Main

Overview

The OWASP Flash Security Project is an open project for sharing knowledge in order to raise awareness of Flash application security.

Goals

The OWASP Flash Security Project aims to share guidelines, tools and resources for securing Flash applications.

Table of Contents

Videos

• How to Develop Secure Flash Platform Apps An Adobe TV series discussing how to author and test secure Flash applications. The presentations cover common vulnerabilities in SWF content and how to avoid them. Each video is about 5-10 minutes long and is by Peleus Uhley.

• Creating Secure ActionScript Applications An hour long video targeted at developers and QEs on creating secure Flash applications from Adobe MAX 2010. Adobe MAX is Adobe's developer conference. The talk is by Peleus Uhley.

• Assessing, Testing & Validating Flash Content A 45 minute talk from OWASP AppSec USA 2010 on how to assess and test Flash applications. The talk is by Peleus Uhley.

• Understanding the Flash Player Security Model Deneb Meketa of Adobe gives a one hour presentation at the Adobe MAX 2008 conference in San Francisco entitled, "Flash Security: Why and how." This presentation provides a good overview of several aspects of Flash Player's security model. Approximately 1 hour long.

• Billy Wins A Cheeseburger A video by HP that explains a basic Flash vulnerability that can be found by decompilers. Approximately 3 minutes long.

• Blinded by Flash: Widespread Security Risks Flash Developers Don't See Prajakta Jagdale describes the attack surface flash applications have based on various things developers overlook. In this presentation she talks about the basic cross domain security model between flash applets, Cross Site Scripting attacks on Flash applications, Data injection attacks, Flash malware, decompilation of Flash swf files, code and binary obfuscation and many other attack vectors which a malicious attacker could use to hack Flash applications. Approximately 1 hour long.

• Deblaze - A Remote Method Enumeration Tool for Flex Servers This is an excellent 20 minute presentation from DefCon 17 by Jon Rose on how to test AMF services using the deBlaze tool that he authored.

• RIA Security: Real-World Lessons from Flash and Silverlight Jesse Collins from Microsoft's Silverlight team and Peleus Uhley from Adobe's Flash team discuss common threats to RIA applications. Approximately 1 hour long.

White Papers / Presentations

Flash

• Flash Parameter Injection pdf, IBM Rational Application Security Team, OWASP AppSec 2008, 24th September 2008, NYC, NY (USA)

• Testing Flash Applications using WebScarab pdf, Martin Clausen - Deloitte Denmark Chapter Meeting, 12th March 2008, Denmark

• Testing Flash Applications ppt, Stefano Di Paola, Owasp Appsec 2007, 17th May 2007, Milan (Italy).

• Testing and Exploiting Flash Applications pdf, Fukami, Chaos Computer Camp, 2007

• Finding Vulnerabilities in Flash Applications ppt, Stefano Di Paola, Owasp Appsec 2007, 15th November 2007, San Jose, CA (USA)

• Neat, New, and Ridiculous Flash Hacks - whitepaper: pdf, presentation:pdf, Mike Bailey, Black Hat DC 2010, Washington, DC (USA)

AMF

• AMF Testing Made Easy - whitepaper: pdf, presentation: pdf, Luca Carettoni, Black Hat USA 2012, Las Vegas, NV (USA). This presentation discusses how to use the Blazer tool with Burp to conduct AMF testing.

• Pentesting Adobe Flex Applications - pdf, Marcin Wielgoszewski, April 2010 OWASP NYC Chapter Meeting, NYC, NY (USA)

• DeBlaze: A remote enumeration tool for Flex servers pdf, Jon Rose, DefCon 17, 31st July 2009, Las Vegas, NV (USA)

University Research

• ActionScript bytecode verification with co-logic programming pdf, Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar of The University of Texas at Dallas, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security 2009.

• Creating a more sophisticated security platform for Flash, AIR and others ppt Presented at Adobe Systems, Inc. by Meera Sridhar, November, 2009

• ActionScript In-Lined Reference Monitoring in Prolog pdf, Meera Sridhar and Kevin W. Hamlen of The University of Texas at Dallas, Proceedings of the Twelfth Symposium on Practical Aspects of Declarative Languages (PADL), Jan 2010.

• ActionScript In-lined Reference Monitoring in Prolog pptx Presented at PADL 2010, Madrid, Spain by Meera Sridhar.

Articles

Development

• Creating more secure SWF web applications This Adobe Developer Center article discusses secure ActionScript programming practices.

• Cross-domain policy file usage recommendations for Flash Player This Adobe Developer Center article discusses some of the common security issues that you should consider when deciding how to use a cross-domain policy file on your server.

• Flash Player 10 Security Model: Stakeholders and Sandboxes This is an article that condenses the official Flash Player Security Model down to a one page article discussing the stakeholders and sandboxes.

• AMFPHP Security Basics This a blog covering how to secure AMFPHP version 1.9 and higher. AMFPHP is server-side code that receives AMF requests from Flash clients.

• Securely Deploying Cross-Domain Policy files This Adobe ASSET blog provides 5 tips for securely deploying cross-domain policy files.

• Securing your Flash Application A quick ten item checklist of high level things to look for in your SWF before shipping.

• Security Domains, Application Domains, and More in ActionScript 3.0 A fairly in depth article by Senocular.com explaining security domains, application domains, cross-domain policy files, allowDomain() and more.

Penetration Testing

• A Lazy Pen Tester’s Guide to Testing Flash Applications A short blog describing some of the basic steps of testing Flash applications by iViZ.

• Penetrating Intranets through Adobe Flex Applications A short blog (03/17/2010) by Marcin Wielgoszewski of Gothan Digital Science introducing the Blazentoo tool and how to take advantage of open BlazeDS proxies.

• Pentesting Adobe Flex Applications with a Custom AMF Client A short blog (11/11/2009) by Marcin Wielgoszewski of Gothan Digital Science on how to write custom pyAMF-based clients for testing Flex services.

• Client-side Remote File Inclusion in Flash This blog discusses how to perform cross-site scripting attacks against applications that read in XML configuration files.

• Flash Security A Google code article on different types of cross-site scripting and crossdomain.xml attacks.

Updates to the Flash Player Security Model

• The Flash Player sandbox bridge - This Adobe Developer Center article describes how the new LoaderInfo sandbox bridge APIs can be used as a safer alternative to Security.allowDomain(*).

• Understanding the security changes in Flash Player 10.1 and AIR 2 - This Adobe Developer Center article describes the new changes that affect security in Flash Player 10.1 and AIR. This article discusses a new feature, LoaderContext.allowCodeImport, which can help in safely loading remote content via loadBytes(). It also discusses minor changes in behavior that may require action by the developer.

• Understanding the security changes in Flash Player 10 - This Adobe Developer Center article describes the new changes that affect security in the Flash Player 10. This includes information on changes to socket timing, policy file strictness, upload and download, RTMFP and full screen mode.

• User-initiated action requirements in Flash Player 10 - This Adobe Developer Center article describes the new user-initiated action requires in Flash Player 10. These requirements include chances to FileReference, Clipboard, full-screen mode and pop-up windows.

• Preparing for the Flash Player 9 April 2008 Security Update - This Adobe Developer Center article describes the new mitigations for DNS Rebinding (socket policy files), cross-site flashing and the introduction of cross-domain header meta-policies to help address attacks such as the UPnP attack.

• Security Changes in Flash Player 9 This Adobe Developer Center article describes the important changes that need to be made to existing crossdomain.xml and socket policy files. All websites that use cross-domain or socket policy files will need to implement these changes in order to be compatible with Adobe's new format. After the implementation of Phase II, Adobe will no longer support the old format.

Example Vulnerabilities

The intent of this section is to provide real-world examples of exploitation. This can be useful for consultants to help demonstrate to clients that these techniques have been used in the wild. In some instances, these examples include individual SWFs that were copied to hundreds of web sites. Therefore, a consultant should look for these specific SWFs on a website when performing an assessment to ensure that they have a current version.

• Flash Exploit Database This contains a list of popular, shared SWFs that have cross-site scripting vulnerabilities.

• Cross-site Scripting through Flash in Gmail Based Services - This is an example of a cross-site scripting vulnerability that was the result of passing tainted data to ExternalInterface.call.

• XSS Vulnerabilities in Common Flash Files - This paper by Rich Cannings shows sample attack URLs for individual SWFs that are hosted across hundreds of websites. The techniques demonstrated in this paper for achieving cross-site scripting including using javascript: URLs, asfunction: URLs, and loading malicious child SWFs (aka cross-site Flashing).

• clickTAG Cross-site scripting - It is very common for Flash-based advertisements to accept a FlashVar called, clickTAG. If the clickTAG FlashVar is passed directly to a browser navigation API, such as getURL, then the attacker can achieve cross-site scripting by changing the clickTAG URL to a javascript: URL. Cross-site scripting as the result of a manipulated clickTAG FlashVar is the most common manifestation of cross-site scripting in Flash content.

• I used to know what you watched on YouTube - Jeremiah Grossman's blog post regarding his attack on youTube.com's "*.google.com" cross-domain permission.

References

• OWASP Testing Guide: Testing for cross-site flashing - Covers finding both cross-site scripting and cross-site flashing.

• Adobe Flash Player Developer Center Security section - Where Adobe posts articles and information related to Flash Player security.

• Adobe Flash Player 10 Security Model

• Adobe Flash Player 9 Security Model

• Adobe Security Bulletins and Advisories This is where Adobe posts all of their security advisories and bulletins.

• Applying Flex Security The security chapter from the Adobe Flex 4 manual.

• Flash Player Security The security chapter from the Programming ActionScript 3.0 section the Flash CS4 Documentation.

• Developing and Loading Sub-applications This Flex SDK framework allows two or more untrusted SWFs to pass limited information between each other through the use of Shared Events.

Useful Specifications

• SWF File Format Specification This documents the file format and structure of SWF files.

• AVM2 Specification Describes the Flash ActionScript Virtual Machine used for ActionScript 3.0 code.

• AMF3 Specification The specification for version 3 of AMF used by Flash Player.

• AMF0 Specification The specification for the first generation of AMF (AMF 0) used by Flash Player.

• RTMP Specification This is the specification for the Real Time Messaging Protocol used by SWF content

• Video File Format Specification The FLV/F4V open specification documents the file formats for storing media content used to deliver streaming audio and video for playback in Adobe® Flash® Player and Adobe AIR™ software.

• Cross-domain Policy File Specification This document serves as a reference for the structure and use of cross-domain policy files.

• Tamarin Open Source Project The Tamarin virtual machine is used within the Adobe Flash Player and is also being adopted for use by projects outside Adobe. The Tamarin just-in-time compiler (the "NanoJIT") is a collaboratively developed component used by both Tamarin and Mozilla TraceMonkey.

Third-party Security Libraries

• AS3Crypto - An ActionScript 3.0 cryptography library.

• as3corelib - An Adobe sponsored Google Code project that contains ActionScript 3.0 implementations of WS-Security, SHA, MD5 and other utilities.

• Alchemy ActionScript 3 Crypto Wrapper - An Adobe labs project to port OpenSSL to ActionScript using Alchemy (previously known as Flacc). Includes the SHA1, SHA2, MD5, PKCS12 and AES from OpenSSL.

• flash-validators - An Adobe sponsored Google Code project that contains ActionScript 2.0 and ActionScript 3.0 data validation libraries.

• Protected Messaging Adaptor - This addition to the latest version of BlazeDS protects against an attack that allows an untrusted individual to subscribe to wildcard sub-topics. This threat is described within this blog by James Ward.

• Flex validators - Validation routines contained within the Adobe Flex SDK.

OWASP Tools

• SWFIntruder OWASP Flash security testing tool

Static Analysis

• FlexPMD Performs general code analysis with a few security checks.

• Fortify Static Code Analyzer ($) Fortify's SCA supports searching for vulnerabilities within ActionScript 3.0, Flex 3 and Flex 4 applications.

• FlashDiggity FlashDiggity is part of the SearchDiggity tool created by the Stach & Liu consulting firm. It will decompile the SWF and use regular expressions to search for strings that are security related.

• SWFScan This Windows tool decompiles a SWF and performs static analysis to identify common vulnerabilities for both ActionScript 2.0 and ActionScript 3.0 content.

Disassemblers

• Adobe SWF Investigator An Adobe Labs project that performs disassembly of ActionScript 2 and ActionScript 3. Also shows SWF Tag information.

• Flasm Flasm provides both disassembly and assembly functionality.

• Nemo440 Nemo440 is an AIR based ActionScript 3.0 disassembler.

• swfdump The Adobe Flex SDK, when built with ant, creates the swfdump utility (overview).

• ErlSWF A SWF disassembly tool based authored in Erlang

• abcdump The abcdump tool can be built from the tamarin source tree to disassemble AS3 byte code.

• 010Editor This commercial tool has a template for analyzing AS2 byte code.

• swfutils An ActionScript 3 library for disassembling SWF files.

• RABCDAsm RABCDAsm is a collection of utilities including an ActionScript 3 assembler/disassembler, and a few tools to manipulate SWF files.

• Yogda AVM2 Workbench Yogda® is a development tool for intermediate/advanced actionscript programmers. It includes an AVM2 disassembler.

Decompilers

• Flash Decompiler Trillix ($): Windows and Mac versions. Supports ActionScript 2.0 and ActionScript 3.0, Flash 5, 6, 7, 8, 9, 10, Flash CS5 and Flex. Able to extract resources,edit SWF elements and provide a source FLA file. Costs @ $80 plus tax/shipping.

• SWFWire Inspector An open source AIR application for viewing images, shapes, and even syntax-highlighted ActionScript 3 within SWF files.

• SWFScan This Windows tool decompiles a SWF and performs static analysis to identify common vulnerabilities for both ActionScript 2.0 and ActionScript 3.0 content.

• Flare Flare ActionScript 2.0 decompiler for Windows, Linux and Mac OS X.

• Buraks ActionScript Viewer ($): An ActionScript 2.0 and ActionScript 3.0 decompiler that is able to extract resources and provide a rough FLA file. Costs @ $80 plus tax/shipping.

• SoThink Flash Decompiler ($): An ActionScript 2.0 and ActionScript 3.0 decompiler that is able to extract resources and provide a rough FLA file. Costs @ $80 plus tax/shipping.

• Dump Flash Decompiler Freeware program that treats compressed and decompressed SWF-files and shows the detailed structure in the tree form. Windows.

Obfuscators

It should be noted that no obfuscator can protect a SWF from being reverse engineered. An attacker will always be able to extract data from SWFs if they believe it is worth the effort. Obfuscators are only serve as a deterrent for preventing casual inspection of the SWF.

It should also be noted that some obfuscators generate SWFs that do not conform to the Adobe SWF file format specification. Flash Player may still be able to play them but they do not conform to the spec. This could lead to some security tools such as Blitzablieter rejecting them as potentially malicious.

• SWF ID Detect common SWF protectors, SWF obfuscators, SWF cryptors and SWF compilers.

• DComSoft SWF Protector ($): ActionScript 2.0/3.0 obfuscator for protecting your SWF files from Flash Decompilers. Available for Windows, Mac OS, Linux. Costs approximately $40.

Local Shared Object Editors

• Adobe SWF Investigator Cross-platform tool for viewing and editing LSOs.

• Flashbug An extension for the Firefox Firebug plugin.

• SolVE Cross-platform Local Shared Object editor and viewer.

• .sol Editor Windows based Local Shared Object editor

AMF Tools

• Adobe SWF Investigator Allows sending of custom messages, simple fuzzing and service identification of AMF endpoints.

• Flashbug An extension for the Firefox Firebug plugin that allows you to view AMF data sent to and from the page to the server.

• DeBlaze A free tool that attempts to identify AMF services through brute force, dictionary attacks.

• Blazentoo Blazentoo is an Adobe AIR application that can be used to exploit insecure Adobe BlazeDS and LiveCycle Data Services ES servers. Blazentoo provides the ability to seamlessly browse web content, abusing insecurely configured Proxy Services.

• Blazer Blazer is a custom AMF messages generator with fuzzing capabilities, developed as Burp Suite plugin. It is designed and implemented to make AMF testing easy, and yet allows researchers to control fully the entire security testing process.

• WebScarab Full AMF support is currently checked into the main branch of the WebScarab project. It has not been rolled into the SourceForge or Java Web Start versions of the WebScarab project at the time of this writing.

• WebScarab AMF Plugin This is a google code project to add AMF support as a plugin to WebScarab.

• AMF Parser AMFParser plugin for Fiddler2 web debugger. It can be used for parsing and displaying AMF data inside HTTP's POST requests and responses.

• pinta Pinta is a utility that allows a developer to test services by making custom AMF service calls, and viewing detailed output. This Google Code project is based on Adobe AIR.

• Charles Proxy ($): This is a basic HTTP proxy but it provides support for interpreting AMF communications. Costs approximately $50.

• Burp Suite Professional ($): The 1.2.124 version of Burp Suite Pro adds AMF support to all tools except for Burp Intruder and Burp Scanner is updated to automatically place attack payloads within string-based AMF values.

• AMF Shell AMF Shell is a command line utility based on Python that enumerates services and allows the user to send customized AMF messages to a server.

Cross-Domain Tools

• Cross-domain Policy Analyzer A tool to test your cross-domain policy file by Jason Calvert of WhiteHat Security.

Analysis

• Certifying IRM for ActionScript Bytecode This page contains the binaries for Meera Sridhar's research into using In-lined Reference Monitors to rewrite ActionScript bytecode for the purposes of policy enforcement. This project is currently targeted at AVM2 code.

• Blitzablieter Blitzablieter is a project currently run by Recurity Labs and the German government. The goal is to prevent malicious SWFs from entering a network through normalization and policy enforcement. This project currently handles AVM1 code.

• Wepawet Wepawet is a service for detecting and analyzing web-based malware. It currently handles Flash, JavaScript, and PDF files. It is currently run by University of California, Santa Barbara.

• SWFRETools The SWFRETools are a collection of tools built for vulnerability analysis of the Adobe Flash player and for malware analysis of malicious SWF files. The tools are partly written in Java and partly in Python and are licensed under the GPL 2.0 license.

Project Contributors

The Flash Security project is run by Peleus Uhley.

Project Sponsors

The Flash Security project is sponsored by [[Image:|MindedLogo.PNG]]

Project Identification