rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Dependable and secure computing
    sub title: 14th Latin-American Symposium, LADC 2025, Valparaíso, Chile, October 27-31, 2025 : proceedings
  title info:
    title: LADC 2025
  name:
    name part: Latin-American Symposium on Dependable and Secure Computing 2025 : Valparaíso, Chile).
    role:
      role term: creator
  name:
    name part: Rodrigues, Luiz Antonio
    role:
      role term: editor.
  name:
    name part: Oliveira, Rui
    role:
      role term: editor.
  type of resource: text
  genre: conference publication
  genre: proceedings (reports)
  genre: Conference papers and proceedings.
  genre: Actes de congrès.
  origin info:
    place:
      place term: sz
    date issued: 2026
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (xiii, 378 pages) : illustrations (chiefly color).
  abstract: 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 of contents: Security Foundations and Compliance. -- Applying DevSecOps Approach in Legacy Computing Infrastructures:A Case Study in Public Sector of Brazil. -- SPIRE-Based Remote Attestation for Secure VPN Access. -- Towards a Minimum Security Baseline for Cyber-Physical Systems through Security Standards Harmonization. -- Towards LGPD Compliance: Analysis and Support to Prepare your Computing Environment. -- AI for Security and Dependability. -- An Empirical Study of Large Language Models as Experts in Software Trustworthiness Assessment. -- FlowMon: A Workflow-Driven Visual Tool for Automated Monitoring Script Generation. -- Reasoning Over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework. -- Consensus, Cryptography, and Blockchain. -- A Blockchain-Based Architecture for Communication Between Spectrum Access Systems. -- Byzantine Consensus with Secure and Intrusion-Tolerant In-Network Ordering. -- Thetacrypt: A Distributed Service for Threshold Cryptography. -- Modeling and Dependability Evaluation. -- A Practical TLA+ Library for Designing and Verifying Distributed Systems. -- Long-Term Experimental Evaluation of Software Aging Effects in NoSQL Database. -- Advances in Dependable and Secure Computing (Best Paper Candidates). -- Addressing Cryptographic Overheads in Low-Latency File Systems through Ahead-of-Time Encryption. -- Evaluating eBPF as an Alternative to Virtual Machine Introspection for High-Interaction Honeypot Implementation. -- Source Code Vulnerability Detection and Interpretability with Language Models. -- Monitoring and Critical Infrastructures. -- Impact of Image Resolution on Drone Surveillance System Availability:A Stochastic Petri Net Approach. -- Quantitative Availability Analysis of Fog-Edge Monitoring Architectures in Bus Rapid Transit Station. -- Industry Track. -- Malware Detection in Windows Operating Systems using AI and In-Memory Process Analysis. -- Risk Classification of IP Addresses Using Machine Learning with W…
  note: Luiz Antonio Rodrigues, Rui Oliveira, editors.
  note: Conference proceedings.
  note: Includes author index.
  subject:
    topic: Fault-tolerant computing
    genre: Congresses
  subject:
    topic: Electronic digital computers
    topic: Reliability
    genre: Congresses
  subject:
    topic: Tolérance aux fautes (Informatique)
    genre: Congrès
  classification: QA76.9.F38 L37 2026
  classification: 004.2
  related item:
    identifier: (OCoLC)1545279803
  related item:
    title info:
      title: Communications in computer and information science ; 2697
  identifier: 9783032115393 (electronic bk.)
  identifier: 3032115396
  identifier: 9783032115386
  identifier: 3032115388
  location:
    physical location: POD
  record info:
    record content source: BRX
    record creation date: 260216
    record change date: 20260412195033.2
    record identifier: in00005778173
    language of cataloging:
      language term: eng