Engineering Secure Software and Systems : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Ben Livshits, Riccardo Scandariato.

Format:

Book

Contributor:

Jürjens, Jan, editor.

Livshits, Ben, editor.

Scandariato, Riccardo, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Security and cryptology ; SL 4, 7781.

Security and Cryptology ; 7781

Language:

English

Subjects (All):

Computer networks.

Data encryption (Computer science).

Software engineering.

Data structures (Computer science).

Computer science--Mathematics.

Computer science.

Computers.

Computer Communication Networks.

Cryptology.

Software Engineering/Programming and Operating Systems.

Data Structures and Information Theory.

Math Applications in Computer Science.

Models and Principles.

Local Subjects:

Computer Communication Networks.

Cryptology.

Software Engineering/Programming and Operating Systems.

Data Structures and Information Theory.

Math Applications in Computer Science.

Models and Principles.

Physical Description:

1 online resource (XII, 231 pages) : 40 illustrations.

Edition:

First edition 2013.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.

System Details:

text file PDF

Summary:

This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing.

Contents:

Control-Flow Integrity in Web Applications Using Security Policies to Automate Placement of Network Intrusion Prevention

Idea: Callee-Site Rewriting of Sealed System Libraries

Towards Unified Authorization for Android

Model-Based Usage Control Policy Derivation

Compositional Verification of Application-Level Security Properties

Towards Verifying Voter Privacy through Unlinkability

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification

A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer

DKAL: Constructing Executable Specifications of Authorization Protocols

A Formal Approach for Inspecting Privacy and Trust in Advanced Electronic services

Idea: Writing Secure C Programs with SecProve

Anatomy of Exploit Kits: Preliminary Analysis of Exploit Kits as Software Artefacts

An Empirical Study on the Effectiveness of Security Code Review

Eliminating SQL Injection and Cross Site Scripting Using Aspect Oriented Programming.

Other Format:

Printed edition:

ISBN:

978-3-642-36563-8

9783642365638

Access Restriction:

Restricted for use by site license.