Showing 781 - 800 results of 1,489 for search 'Institute for Computing and Information Sciences', query time: 0.08s Refine Results
  1. 781
  2. 782
  3. 783
  4. 784
  5. 785
  6. 786
  7. 787
  8. 788
  9. 789
  10. 790
  11. 791
  12. 792
  13. 793
  14. 794

    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). …”
    Get full text
    Article
  15. 795
  16. 796
  17. 797
  18. 798
  19. 799
  20. 800