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. 

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: Luiz Antonio Rodrigues (Editore), Oliveira (Editore), Rui Oliveira (Editore), Luiz Antonio Rodrigues (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.02.2026
• EAN: 9783032115386
• ISBN: 978-3-0-3211538-6
• Illustrazioni: Approx. 350 p.
• Serie: Communications in Computer and Information Science
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Comunicazione dati, reti; 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