000914582 000__ 05586cam\a2200589Ii\4500
000914582 001__ 914582
000914582 005__ 20230306150359.0
000914582 006__ m\\\\\o\\d\\\\\\\\
000914582 007__ cr\cn\nnnunnun
000914582 008__ 190916s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000914582 020__ $$a9783030262501$$q(electronic book)
000914582 020__ $$a3030262502$$q(electronic book)
000914582 020__ $$z9783030262495
000914582 0247_ $$a10.1007/978-3-030-26250-1$$2doi
000914582 035__ $$aSP(OCoLC)on1119665952
000914582 035__ $$aSP(OCoLC)1119665952
000914582 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dUKMGB$$dOCLCF$$dEBLCP
000914582 049__ $$aISEA
000914582 050_4 $$aQA76.9.A25$$bS34 2019eb
000914582 08204 $$a005.8$$223
000914582 1112_ $$aInternational Conference on Computer Safety, Reliability, and Security$$n(38th :$$d2019 :$$cTurku, Finland)
000914582 24510 $$aComputer safety, reliability, and security :$$bSAFECOMP 2019 workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, proceedings /$$cAlexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch (eds.).
000914582 264_1 $$aCham :$$bSpringer,$$c[2019]
000914582 264_4 $$c©2019
000914582 300__ $$a1 online resource :$$billustrations.
000914582 336__ $$atext$$btxt$$2rdacontent
000914582 337__ $$acomputer$$bc$$2rdamedia
000914582 338__ $$aonline resource$$bcr$$2rdacarrier
000914582 4901_ $$aLecture notes in computer science ;$$v11699
000914582 4901_ $$aLNCS sublibrary. SL2 - Programming and software engineering
000914582 500__ $$aIncludes author index.
000914582 5050_ $$a7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019).- Combining GSN and STPA for safety arguments.- A modelling approach for system life cycles assurance.- Contract-based Modular Safety Cases for Incremental Certification of Product Lines.- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019).- Comparative Evaluation of Security Fuzzing Approaches.- Assuring compliance with protection profiles with Threatget.- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems.- Combined Approach for Safety and Security.- Towards Integrated Quantitative Security and Safety Risk Assessment.- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications.- Increasing Safety of Neural Networks in Medical Devices.- Smart Wristband for Voting.- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019).- Automotive Cybersecurity standards -- relation and overview.- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems.- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance.- The SISTER approach for Verification and Validation: a lightweight process for reusable results.- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018).- Demo: CANDY CREAM.- CarINA -- Car sharing with IdeNtity based Access control re-enforced by TPM.- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies.- Enhancing CAN security by means of lightweight stream-ciphers and protocols.- Analysis of Security Overhead in Broadcast V2V Communications.- You overtrust your printer.- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018).- Three Reasons Why: Framing the Challenges of Assuring AI.- Improving ML Safety with Partial Specifications.- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles.- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies.- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper).- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving.- Adaptive Deployment of Safety Monitors for Autonomous Systems.- Uncertainty Wrappers for Data-driven Models -- Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates.- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions.- Bayesian Uncertainty Quantification with Synthetic Data.- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.- The Moral Machine: Is It Moral.
000914582 506__ $$aAccess limited to authorized users.
000914582 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 16, 2019).
000914582 650_0 $$aComputer security$$vCongresses.
000914582 650_0 $$aComputer organization$$vCongresses.
000914582 650_0 $$aSoftware engineering$$vCongresses.
000914582 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
000914582 650_0 $$aComputer logic$$vCongresses.
000914582 650_0 $$aApplication software$$xSecurity measures$$vCongresses.
000914582 655_7 $$aConference papers and proceedings.
000914582 7001_ $$aRomanovsky, Alexander,$$d1954-$$eeditor.
000914582 7001_ $$aTroubitsyna, Elena$$q(Elena A.),$$d1970-$$eeditor.
000914582 7001_ $$aGashi, Ilir,$$eeditor.
000914582 7001_ $$aSchoitsch, Erwin,$$eeditor.
000914582 7001_ $$aBitsch, Friedemann,$$eeditor.
000914582 830_0 $$aLecture notes in computer science ;$$v11699.
000914582 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000914582 852__ $$bebk
000914582 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-26250-1$$zOnline Access$$91397441.1
000914582 909CO $$ooai:library.usi.edu:914582$$pGLOBAL_SET
000914582 980__ $$aEBOOK
000914582 980__ $$aBIB
000914582 982__ $$aEbook
000914582 983__ $$aOnline
000914582 994__ $$a92$$bISE