Engineering Secure Software and Systems

Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

By: Fabio MASSACCI (Editor), Dan Wallach (Editor), Nicola Zannone (Editor)

Write A Review

Paperback | 27 January 2010

At a Glance

Paperback
256 Pages

Dimensions(cm)
23.39 x 15.6 x 1.37

Paperback

$101.07

or 4 interest-free payments of $25.27 with

Aims to ship in 7 to 10 business days

It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique event aimed at bringing together researchersfrom softwareen- neering and security engineering, which might help to unite and further develop the two communities in this and future editions. The parallel technical spons- ships from the ACM SIGSAC (the ACM interest group in security) and ACM SIGSOF (the ACM interest group in software engineering) is a clear sign of the importance of this inter-disciplinary research area and its potential. The di?culty of building secure software systems is no longer focused on mastering security technology such as cryptography or access control models. Other important factors include the complexity of modern networked software systems, the unpredictability of practical development life cycles, the intertw- ing of and trade-o? between functionality, security and other qualities, the d- culty of dealing with human factors, and so forth. Over the last years, an entire research domain has been building up around these problems. The conference program included two major keynotes from Any Gordon (Microsoft Research Cambridge) on the practical veri?cation of security pro- cols implementation and Angela Sasse (University College London) on security usability and an interesting blend of research, industry and idea papers.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Operating Systems Computer Hardware Network Hardware Computer Science Mathematical Theory of Computation Maths for Computer Scientists Algorithms & Data Structures Computer Security

Data Encryption Reference, Information & Interdisciplinary Subjects Research & Information Coding Theory & Cryptology Computer Networking & Communications Network Security Information theory

Attack Analysis and Prevention I
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks	p. 1
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests	p. 18
Idea: Opcode-Sequence-Based Malware Detection	p. 35
Attack Analysis and Prevention II
Experiences with PDG-Based IFC	p. 44
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications	p. 61
Idea: Towards Architecture-Centric Security Analysis of Software	p. 70
Policy Verification and Enforcement I
Formally-Based Black-Box Monitoring of Security Protocols	p. 79
Secure Code Generation for Web Applications	p. 96
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation	p. 114
Policy Verification and Enforcement II
Model-Driven Security Policy Deployment: Property Oriented Approach	p. 123
Category-Based Authorisation Models: Operational Semantics and Expressive Power	p. 140
Idea: Efficient Evaluation of Access Control Constraints	p. 157
Secure System and Software Development I
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach	p. 166
Idea: Enforcing Consumer-Specified Security Properties for Modular Software	p. 182
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks	p. 192
Secure System and Software Development II
Automatic Generation of Smart, Security-Aware GUI Models	p. 201
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems	p. 218
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality	p. 231
Author Index	p. 241
Table of Contents provided by Ingram. All Rights Reserved.

Engineering Secure Software and Systems

Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Network Security

Cybercrime

An Encyclopedia of Digital Crime

Resource Discovery, Navigability and Trust Management Techniques for IoT and SIoT

Cyber Wars

Hacks that Shocked the Business World

Information Modeling and Relational Databases

2nd Edition

CompTIA Security+ All-in-One Exam Guide (Exam SY0-601))

6th Edition

Crypto Wars

Faked Deaths, Missing Billions and Industry Disruption

Machine Learning and Security

Protecting Systems with Data and Algorithms

Network Security Assessment

Know Your Network : 3rd Edition

Password Logbook (Hip Floral)

Keep Track of Usernames, Passwords, Web Addresses in One Easy and Organized Location

Auditing IT Infrastructures for Compliance with Cloud Labs

3rd Edition

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Language of Cyber Attacks

A Rhetoric of Deception

The Language of Cyber Attacks

A Rhetoric of Deception

Artificial Intelligence for Cybersecurity

Develop AI approaches to solve cybersecurity problems in your organization

FAIK

A Practical Guide to Living in a World of Deepfakes, Disinformation, and AI-Generated Deceptions

Cybersecurity For Dummies

2nd edition

Unveiling NIST Cybersecurity Framework 2.0

Secure your organization with the practical applications of CSF

AWS Security Cookbook - Second Edition

Practical solutions for securing AWS cloud infrastructure with essential services and best practices

Beautiful Security

O'Reilly Ser.

Crafting an Information Security Playbook

I'm a Romance Scam IT Detective (Edition 2)

Crypto Wars

Faked Deaths, Missing Billions and Industry Disruption

(ISC)2 SSCP Systems Security Certified Practitioner Official Study Guide

Sybex Study Guide

Understand the Cyber Attacker Mindset

Build a Strategic Security Programme to Counteract Threats

This product is categorised by