Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jürjens, Jan (Επιμελητής έκδοσης), Livshits, Benjamin (Επιμελητής έκδοσης), Scandariato, Riccardo (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 7781
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Data structures (Computer science).; Data encryption (Computer science).; Computer science > Mathematics.; Computers.; Computer Science.; Computer Communication Networks.; Data Encryption.; Software Engineering/Programming and Operating Systems.; Data Structures, Cryptology and Information Theory.; Math Applications in Computer Science.; Models and Principles.

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 sub...

Πίνακας περιεχομένων:

• 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.