Engineering Secure Future Internet Services and Systems Current Research /

This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Heisel, Maritta (Editor), Joosen, Wouter (Editor), Lopez, Javier (Editor), Martinelli, Fabio (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Series:Lecture Notes in Computer Science, 8431
Subjects:
Online Access:Full Text via HEAL-Link
LEADER 04121nam a22006015i 4500
001 978-3-319-07452-8
003 DE-He213
005 20151030001302.0
007 cr nn 008mamaa
008 140522s2014 gw | s |||| 0|eng d
020 |a 9783319074528  |9 978-3-319-07452-8 
024 7 |a 10.1007/978-3-319-07452-8  |2 doi 
040 |d GrThAP 
050 4 |a QA76.9.A25 
072 7 |a UR  |2 bicssc 
072 7 |a UTN  |2 bicssc 
072 7 |a COM053000  |2 bisacsh 
082 0 4 |a 005.8  |2 23 
245 1 0 |a Engineering Secure Future Internet Services and Systems  |h [electronic resource] :  |b Current Research /  |c edited by Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2014. 
300 |a VIII, 393 p. 131 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8431 
505 0 |a A Structured Comparison of Security Standards -- Empirical Assessment of Security Requirements and Architecture: Lessons Learned -- STS-Tool: Security Requirements Engineering for Socio-Technical Systems -- Model-Driven Development of a Secure eHealth Application -- Modeling Security Features of Web Applications -- On the Synthesis of Secure Services Composition -- Privacy and Access Control in Federated Social Networks -- Engineering Trust-Awareness and Self-adaptability in Services and Systems -- Validation of Access Control Systems -- Evaluation of Engineering Approaches in the Secure Software Development Life Cycle -- A Toolchain for Designing and Testing Access Control Policies -- Verification of Authorization Policies Modified by Delegation -- ISMS-CORAS: A Structured Method for Establishing an ISO 27001 Compliant Information Security Management System -- Divide and Conquer – Towards a Notion of Risk Model Encapsulation -- Preserving Data Privacy in e-Health. 
520 |a This State-of-the-Art Survey contains a selection of papers representing state-of-the-art results in the engineering of secure software-based Future Internet services and systems, produced by the NESSoS project researchers. The engineering approach of the Network of Excellence NESSoS, funded by the European Commission, is based on the principle of addressing security concerns from the very beginning in all software development phases, thus contributing to reduce the amount of software vulnerabilities and enabling the systematic treatment of security needs through the engineering process. The 15 papers included in this volume deal with the main NESSoS research areas: security requirements for Future Internet services; creating secure service architectures and secure service design; supporting programming environments for secure and composable services; enabling security assurance and integrating former results in a risk-aware and cost-aware software life-cycle. 
650 0 |a Computer science. 
650 0 |a Software engineering. 
650 0 |a Computer security. 
650 0 |a Data encryption (Computer science). 
650 0 |a Computer logic. 
650 0 |a Management information systems. 
650 1 4 |a Computer Science. 
650 2 4 |a Systems and Data Security. 
650 2 4 |a Software Engineering. 
650 2 4 |a Management of Computing and Information Systems. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Information Systems Applications (incl. Internet). 
650 2 4 |a Data Encryption. 
700 1 |a Heisel, Maritta.  |e editor. 
700 1 |a Joosen, Wouter.  |e editor. 
700 1 |a Lopez, Javier.  |e editor. 
700 1 |a Martinelli, Fabio.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783319074511 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8431 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-07452-8  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645)