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. 

Table des matières

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.

Détails du produit

• Collaboration: Luiz Antonio Rodrigues (Editeur), Oliveira (Editeur), Rui Oliveira (Editeur), Luiz Antonio Rodrigues (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 01.02.2026
• EAN: 9783032115386
• ISBN: 978-3-0-3211538-6
• Illustrations: Approx. 350 p.
• Thème: Communications in Computer and Information Science
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Communication des données, réseaux; 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