Sign-In
Cart
Computer Safety, Reliability, and Security: 39th International Conference, Safecomp 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings
Paperback
General ComputersNetworkingProgramming
ISBN13: 9783030545482
Publisher: Springer
Published: Aug 20 2020
Pages: 450
Weight: 1.46
Height: 0.96 Width: 6.14 Depth: 9.21
Language: English
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.*
The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
*The conference was held virtually due to the COVID-19 pandemic.
The chapter 'Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware' is available open access under an Open Government License 3.0 via link.springer.com.
1 different editions
Also available
Also in
Networking
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
The Groundbreaker: Entrepreneurship, the American Dream, and the Rise of Modern India
Rekhi, Kanwal
Hardcover
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Chalup, Strata
Limoncelli, Thomas
Hogan, Christina
Paperback
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Nikolic, Filip
Laverack, James
Vibert, Nico
Paperback
Computer Science Unleashed: Harness the Power of Computational Systems
Pictet, Raimondo
Ferreira Filho, Wladston
Paperback
AI Data Center Network Design and Technologies
Tambakuwala, Himanshu
Subramaniam, Mahesh
Styszynski, Michal
Paperback
Mastering the Togaf(r) Standard: A Practical Translation of the World's Leading Architecture Framework
Jager, Eric
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
31 Days Before Your CCNA Exam: A Day-By-Day Review Guide for the CCNA 200-301 Certification Exam
Johnson, Allan
Paperback
Root cause: Stories and Lessons from Two Decades of Backend Engineering Bugs
Nasser, Hussein
Paperback
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Morillo, Christina
Gilman, Evan
Rais, Razi
Paperback
High Performance Browser Networking: What Every Web Developer Should Know about Networking and Web Performance
Grigorik, Ilya
Paperback
Cisco ASA for Accidental Administrators: An Illustrated Step-by-Step ASA Learning and Configuration Guide
Crawley, Don R.
Paperback
IA desde cero: Inteligencia Artificial explicada de forma fácil
García García-Tuñón, Susana
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
CCNP and CCIE Enterprise Core & CCNP Enterprise Advanced Routing Portable Command Guide: All Encor (350-401) and Enarsi (300-410) Commands in One Comp
Gargano, Patrick
Empson, Scott
Paperback
CCNP and CCIE Data Center Core Dccor 350-601 Official Cert Guide
Ahmed, Firas
Nikolov, Iskren
Maloo, Somit
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
Crafting Great APIs with Domain-Driven Design: Collaborative Craftsmanship of Asynchronous and Synchronous APIs
Junker, Annegret
Lazzaretti, Fabrizio
Paperback
Business Data Communications & IT Infrastructures
Agrawal, Manish
Daniel, Clinton
Connolly, Amy
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Lee, Denny
Wentling, Tristen
Haines, Scott
Paperback
Mike Meyers' Comptia Network+ Guide to Managing and Troubleshooting Networks, Sixth Edition (Exam N10-008)
Jernigan, Scott
Paperback
A Complete Guide to Agentforce: Plan, Design, Build and Run AI Agents with Salesforce
Kovala, Timo
Paperback
ITIL(R) 4 Create, Deliver and Support (CDS): Your companion to the ITIL 4 Managing Professional CDS certification
Agutter, Claire
Paperback
Gray Hat Hacking: The Ethical Hacker's Handbook, Sixth Edition
Linn, Ryan
Sims, Stephen
Harper, Allen
Paperback
Learning API Styles: Understanding the Trade-Offs of Common APIs and Choosing the Correct Solutions
Dynowski, Lukasz
Dulak, Marcin
Paperback
Linux for Makers: Understanding the Operating System That Runs Raspberry Pi and Other Maker Sbcs
Newcomb, Aaron
Paperback
A Beginner's Guide to Mainframe z/OS Networking - Connecting and Communicating in the Mainframe World - Book 5
Sahoo, Natabar
Paperback
The Home Network Manual: The Complete Guide to Setting Up, Upgrading, and Securing Your Home Network
Buchanan, Marlon
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
Wireshark Certified Network Analyst Exam Prep Guide (Second Edition): WCNA Official Exam Prep Guide
Chappell, Laura
Paperback
Starlink Made Simple: A Step-by-Step Guide to Setting Up, Using, and Mastering SpaceX's Satellite Internet
Mavis, Taylor
Paperback
Electronics Projects with the Esp8266 and Esp32: Building Web Pages, Applications, and Wifi Enabled Devices
Cameron, Neil
Paperback
AWS for Solutions Architects - Third Edition: Design and scale secure AWS architectures with GenAI strategies and real-world patterns
Srivastav, Neelanjali
Thakur, Dhiraj
Shrivastava, Saurabh
Paperback
Enterprise Guide for Implementing Generative AI and Agentic AI: A Practical Guide to Developing, Deploying, and Operationalizing Ai-Driven Application
Sinha, Vikas
Edward, Shakuntala Gupta
Bhattacharya, Rahul
Paperback
The Fraud Fighter's AI Playbook: Strategies for the Genai Era
Saporta, Gilit
Maraney, Shoshana
Zamir, Chen
Paperback
Fatal Abstraction: Revolutionizing Strategy and Innovation for the Age of AI
Nichols, Michael
Paperback
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
The Practice of Network Security Monitoring: Understanding Incident Detection and Response
Bejtlich, Richard
Paperback
CCNP Data Center Application Centric Infrastructure 300-620 Dcaci Official Cert Guide
Ahmadi, Ammar
Hardcover
UNIX in a Nutshell: A Desktop Quick Reference - Covers Gnu/Linux, Mac OS X, and Solaris
Robbins, Arnold
Paperback
Mastering Palo Alto Networks - Third Edition: The complete journey to firewall mastery from setup to advanced security
'Reaper', Tom Piens Aka
Paperback
Security Operations Center: Building, Operating, and Maintaining Your Soc
McIntyre, Gary
Alfardan, Nadhem
Muniz, Joseph
Paperback
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
Time Management for System Administrators: Stop Working Late and Start Working Smart
Limoncelli, Thomas A.
Paperback
The Elements of Networking Style: And Other Essays & Animadversions on the Art of Intercomputer Networking
Padlipsky, M. a.
Paperback
iPhone 8: The User Guide For all iPhone 8, iPhone 8 Plus and older iPhone model Users
Binjeh, Jhale
Paperback
Computer Networking for Beginners: The Beginner's guide for Mastering Computer Networking, the Internet and the OSI Model
Nastase, Ramon Adrian
Paperback
Asterisk: The Definitive Guide: Open Source Telephony for the Enterprise
Bryant, Russell
Madsen, Leif
Meggelen, Jim Van
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification
Agutter, Claire
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Beginning Lora Radio Networks with Arduino: Build Long Range, Low Power Wireless Iot Networks
Seneviratne, Pradeeka
Paperback
Development and Deployment of Multiplayer Online Games, Vol. II: DIY, (Re)Actors, Client Arch., Unity/UE4/ Lumberyard/Urho3D
Hare, 'No Bugs'
Hardcover
IP Subnetting for Beginners: Your Complete Guide to Master IP Subnetting in 4 Simple Steps
Nastase, Ramon A.
Paperback
Switching, Routing, and Wireless Essentials Labs and Study Guide (Ccnav7)
Cisco Networking Academy
Johnson, Allan
Paperback
Computer Networking: Beginner's guide for Mastering Computer Networking and the
Nastase, Ramon
Paperback
Hands-On Ethical Hacking Tactics: Strategies, tools, and techniques for effective cyber defense
Hartman, Shane
Paperback
Wireless Security Architecture: Designing and Maintaining Secure Wireless for Enterprise
Minella, Jennifer
Paperback
Perceptrons, Reissue of the 1988 Expanded Edition with a New Foreword by Léon Bottou: An Introduction to Computational Geometry
Minsky, Marvin
Papert, Seymour A.
Paperback
Practical Lakehouse Architecture: Designing and Implementing Modern Data Platforms at Scale
Thalpati, Gaurav Ashok
Paperback
Silence on the Wire: A Field Guide to Passive Reconnaissance and Indirect Attacks
Zalewski, Michal
Paperback
Agentic AI in Enterprise: Harnessing Agentic AI for Business Transformation
Lobo, Lanwin
Ranjan, Sumit
Chembachere, Divya
Paperback
Enterprise Architecture with Sap: Planning, Management, and Transformation
Reichel, Johannes
Das, Anup
Klee, Peter
Paperback
Hacking Exposed Industrial Control Systems: ICS and Scada Security Secrets & Solutions
Singer, Bryan
Shbeeb, Aaron
Bodungen, Clint
Paperback
iOS Forensics for Investigators: Take mobile forensics to the next level by analyzing, extracting, and reporting sensitive evidence
Tiepolo, Gianluca
Paperback
CompTIA A+ Practice Test Core 1 (220-1101): Over 500 practice questions to help you pass the CompTIA A+ Core 1 exam on your first attempt
Birch, Mark
Neil, Ian
Paperback
Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way
Hochstein, Lorin
Moser, René
Meijer, Bas
Paperback
Network Security with OpenSSL: Cryptography for Secure Communications
Viega, John
Messier, Matt
Chandra, Pravir
Paperback
Cwna Certified Wireless Network Administrator Study Guide: Exam Cwna-108
Coleman, David D.
Westcott, David A.
Paperback
The Iot Hacker's Handbook: A Practical Guide to Hacking the Internet of Things
Gupta, Aditya
Paperback
Top 20 Essential Skills for ArcGIS Utility Network
Mayo, Melissa L.
Cremons, Christopher
Myers, Remi
Paperback
Network Programming in Elixir and ERLANG: Write High-Performance, Scalable, and Reliable Apps with TCP and Udp
Leopardi, Andrea
Paperback
TCP/IP Illustrated, Volume 3: TCP for Transactions, Http, Nntp, and the UNIX Domain Protocols
Stevens, W.
Paperback
Samsung Galaxy A16 5g User Guide for Beginners and Seniors: Samsung Galaxy A16 5g User Guide for Beginners and Seniors
Macvey, Elliot A. a.
Paperback
IDS and IPS with Snort 3: Get up and running with Snort 3 and discover effective solutions to your security issues
Thomas, Ashley
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Zimmerman, Joann
Spurgeon, Charles E.
Paperback
Intelligent Iot Analytics: Concepts and Real-World Applications
Rinaldi, Ekki
Mahendra, Adhiguna
Paperback