LEADER 05487nam 22008655 450 001 9910484706603321 005 20240502115021.0 010 $a3-319-07452-0 010 $a9783319074511 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 00$aEngineering Secure Future Internet Services and Systems $eCurrent Research /$fedited by Maritta Heisel, Wouter Joosen, Javier López, Fabio Martinelli 210 1$aCham :$cSpringer International Publishing :$d2014. 215 $a1 recurso en línea (VIII, 393 p. 131 illus.) 225 1 $aSecurity and Cryptology ;$v8431 300 $aRecurso en línea y dos ejemplares físicos 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 (Springer International Publishing) 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 $aSeguridad informática 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 04$aSeguridad informática 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. 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 801 2$bUMA.EIN 906 $aBOOK 912 $a9910484706603321 996 $aEngineering Secure Future Internet Services and Systems$92830166 997 $aUNINA