Dependable and Secure Computing - 14th Latin-American Symposium, LADC 2025, Valparaíso, Chile, October 27-31, 2025, Proceedings

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.
The 17 full papers included in the proceedings were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: 
Security Foundations and Compliance; AI for Security and Dependability; Consensus, Cryptography, and Blockchain; Modeling and Dependability Evaluation; Advances in Dependable and Secure Computing; Monitoring and Critical Infrastructures; Industry Track,  and Student Forum. 

Inhaltsverzeichnis

Security Foundations and Compliance.- AI for Security and Dependability.- Consensus, Cryptography, and Blockchain.- Modeling and Dependability Evaluation.- Advances in Dependable and Secure Computing.- Monitoring and Critical Infrastructures.- Industry Track.- Student Forum.

Produktdetails

• Mitarbeit: Luiz Antonio Rodrigues (Herausgeber), Oliveira (Herausgeber), Rui Oliveira (Herausgeber), Luiz Antonio Rodrigues (Herausgeber)
• Verlag: Springer, Berlin
• Sprache: Englisch
• Produktform: Taschenbuch
• Erscheint: 01.02.2026
• EAN: 9783032115386
• ISBN: 978-3-0-3211538-6
• Illustration: Approx. 350 p.
• Serie: Communications in Computer and Information Science
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Datenkommunikation, Netzwerke; Evaluation, Hardware, Software, Software Engineering, Security, Kodierungstheorie und Verschlüsselung (Kryptologie), Rechnerarchitektur und Logik-Entwurf, Informationstheorie, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, System architecture, Computer Communication Networks, reliability, Coding and Information Theory, System Performance and Evaluation, Special Purpose and Application-Based Systems, Logic Design, Distributed systems, fault-tolerance, dependable systems, safety-critical systems, Verification and Validation, Critical Infrastructure Protection, cyber-physical systems security, privacy-preserving solutions, experimentation and assessment, model-based evaluation