LEADER 05423nam 22008415 450 001 996217780903316 005 20240430144354.0 010 $a3-319-07452-0 024 7 $a10.1007/978-3-319-07452-8 035 $a(CKB)3710000000119163 035 $a(DE-He213)978-3-319-07452-8 035 $a(SSID)ssj0001242471 035 $a(PQKBManifestationID)11775386 035 $a(PQKBTitleCode)TC0001242471 035 $a(PQKBWorkID)11260093 035 $a(PQKB)11744451 035 $a(MiAaPQ)EBC3093301 035 $a(PPN)178782947 035 $a(EXLCZ)993710000000119163 100 $a20140522d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Secure Future Internet Services and Systems$b[electronic resource] $eCurrent Research /$fedited by Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (VIII, 393 p. 131 illus.) 225 1 $aSecurity and Cryptology ;$v8431 300 $aBibliographic Level Mode of Issuance: Monograph 311 0 $a3-319-07451-2 327 $aA 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. 330 $aThis 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. 410 0$aSecurity and Cryptology ;$v8431 606 $aComputer security 606 $aSoftware engineering 606 $aManagement information systems 606 $aComputer science 606 $aComputer logic 606 $aApplication software 606 $aData encryption (Computer science) 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 615 0$aComputer security. 615 0$aSoftware engineering. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aComputer logic. 615 0$aApplication software. 615 0$aData encryption (Computer science). 615 14$aSystems and Data Security. 615 24$aSoftware Engineering. 615 24$aManagement of Computing and Information Systems. 615 24$aLogics and Meanings of Programs. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aCryptology. 676 $a005.8 702 $aHeisel$b Maritta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJoosen$b Wouter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLópez$b Javier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMartinelli$b Fabio$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996217780903316 996 $aEngineering Secure Future Internet Services and Systems$92830166 997 $aUNISA