(PDF) Program Analysis for Web Security - Lecture Notes in

Program Analysis for Web Security

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-642-23702-7_3

Full Text

Abstract

Available in full text

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2011

Authors

John C. Mitchell

Publisher

Springer Berlin Heidelberg

Related search

Web Applications Security and Vulnerability Analysis Financial Web Applications Security Audit – A Case Study

International Journal of Innovative Business Strategies

English

Security Analysis for Web Service Behaviors Based on Hierarchical Stochastic Game Model

Chinese Journal of Electronics

Electronic Engineering

Applied Mathematics

English

Simple Security Policy for the Web

English

The Analysis of Security of a Stack of Technologies for Development of Web-Resources

Dynamics of Systems, Mechanisms and Machines

English

W4IPS: A Web-Based Interactive Power System Simulation Environment for Power System Security Analysis

English

Verifying Security of Composed Interaction for Web Services

Journal of Software

English

Directions for Web and E-Commerce Applications Security

SSRN Electronic Journal

English

Threat Modelling for Security Tokens in Web Applications

English

Designing Usable Security Feedback for Web-Filtering Systems

English