Showing 1 - 3 results of 3 for search '"French Institute for Research in Computer Science and Automation"', tempo de consulta: 0.61s Limitar resultados
  1. 1
  2. 2

    Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL) por Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent Romary, Jozefina Sadowska

    Publicado 2020-08-01
    “...The collaboration between Software Heritage (SWH), the Center for Direct Scientific Communication (CCSD) and the scientific and technical information services (IES) of The French Institute for Research in Computer Science and Automation (Inria) has resulted in a specified moderation and curation workflow for research software artifacts deposited in the HAL the French global open access repository. ...”
    Ligazón do recurso
    Artigo
  3. 3

    End-to-End Framework for Identifying Vulnerabilities of Operational Technology Protocols and Their Implementations in Industrial IoT por Matthew Boeding, Michael Hempel, Hamid Sharif

    Publicado 2025-01-01
    “...Initially, protocol specifications are modeled to identify any vulnerable states within the protocol, leveraging the Construction and Analysis of Distributed Processes (CADP) software (version 2022-d “Kista”, which was created by Inria, the French Institute for Research in Computer Science and Automation, in France). Device characteristics are then extracted through automated real-time network emulation tests built on the OMNET++ framework, and all measured device characteristics are then used as a virtual device representation for network simulation tests within the OMNET++ software (version 6.0.1., a public-soucre, open-architecture software, initially developed by OpenSim Limited in Budapest, Hungary), to verify the presence of any potential vulnerabilities identified in the formal modeling stage. ...”
    Ligazón do recurso
    Artigo