Showing 5,561 - 5,580 results of 6,608 for search '"Computer science"', query time: 0.09s Refine Results
  1. 5561
  2. 5562
  3. 5563
  4. 5564
  5. 5565
  6. 5566

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

    Published 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. …”
    Get full text
    Article
  7. 5567
  8. 5568
  9. 5569
  10. 5570
  11. 5571
  12. 5572
  13. 5573
  14. 5574
  15. 5575
  16. 5576
  17. 5577
  18. 5578
  19. 5579
  20. 5580