Computer Safety, Reliability, and Security [[electronic resource] ] : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXI, 312 p. 92 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Special purpose computers Computer communication systems Software engineering Computer security Microprogramming Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks Software Engineering Systems and Data Security Control Structures and Microprogramming |
ISBN | 3-319-99130-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. |
Record Nr. | UNISA-996466360103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 564 p. 190 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Computer organization Software engineering Artificial intelligence Computer hardware Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering Artificial Intelligence Computer Hardware |
ISBN | 3-319-99229-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018). |
Record Nr. | UNISA-996466361503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XXI, 312 p. 92 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Special purpose computers Computer communication systems Software engineering Computer security Microprogramming Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Communication Networks Software Engineering Systems and Data Security Control Structures and Microprogramming |
ISBN | 3-319-99130-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk. |
Record Nr. | UNINA-9910349411003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Safety, Reliability, and Security : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / / edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XV, 564 p. 190 illus.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Computer organization Software engineering Artificial intelligence Computer hardware Logics and Meanings of Programs Computer Systems Organization and Communication Networks Software Engineering Artificial Intelligence Computer Hardware |
ISBN | 3-319-99229-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) -- 13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2018) -- 7th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2018) -- 1st International Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- 1st International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018). |
Record Nr. | UNINA-9910349410903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
New Opportunities for Software Reuse [[electronic resource] ] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVIII, 181 p. 55 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer system failures Computers Artificial intelligence Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation The Computing Profession Artificial Intelligence |
ISBN | 3-319-90421-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465826303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVIII, 181 p. 55 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Computer system failures Computers Artificial intelligence Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation The Computing Profession Artificial Intelligence |
ISBN | 3-319-90421-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349430003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Security and Safety Interplay of Intelligent Software Systems [[electronic resource] ] : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XII, 173 p. 76 illus., 53 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Computers Software engineering Systems and Data Security Security Services Cryptology Computer Communication Networks Computing Milieux Software Engineering |
ISBN | 3-030-16874-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus. |
Record Nr. | UNISA-996466075603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Security and Safety Interplay of Intelligent Software Systems : ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / / edited by Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaquin Garcia-Alfaro |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XII, 173 p. 76 illus., 53 illus. in color.) |
Disciplina | 005.8 |
Collana | Security and Cryptology |
Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Computers Software engineering Systems and Data Security Security Services Cryptology Computer Communication Networks Computing Milieux Software Engineering |
ISBN | 3-030-16874-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Towards safety and security co-engineering. Challenging aspects for a consistent intertwining -- Safety and Security Interplay -- Understanding Common Automotive Security Issues and their Implications -- SysML model transformation for safety and security analysis -- The Challenge of Safety Tactics Synchronization for Cooperative Systems (Short Paper) -- SAM: A Security Abstraction Model for Automotive Software Systems -- Car Security -- CAN-FD-Sec: Improving Security of CAN-FD Protocol -- INCANTA - INtrusion detection in Controller Area Networks with Time-covert Authentication -- Detection of Injection Attacks in Compressed CAN Traffic Logs -- Key Is In The Air: Hacking Remote Keyless Entry Systems (Short Paper) -- Aviation Security -- Surveying Aviation Professionals on the Security of the Air Traffic Control System -- On the Security of MIL-STD-1553 Communication Bus. |
Record Nr. | UNINA-9910337580303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|