Verification Methods For Secure and Reliable SoPC Systems

被引：1
|
作者：
Kong, Lu [1 ]
Wang, JinBo [1 ]
机构：
[1] Chinese Acad Sci, Technol & Engn Ctr Space Utilizat, Beijing, Peoples R China
来源：
2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) | 2017年
关键词：
D O I：
10.1109/QRS-C.2017.116
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：616 / 617
页数：2
相关论文
共 50 条
  • [1] Verification Requirements for Secure and Reliable Cloud Computing
    Ghumman, Waheed Aslam
    Laessig, Jorg
    2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 143 - 150
  • [2] Toward Secure and Reliable IoT Systems: A Comprehensive Review of Formal Methods Applications
    Haddou-Oumouloud, Ikram
    Kriouile, Abderahman
    Hamida, Soufiane
    Ettalbi, Ahmed
    IEEE ACCESS, 2024, 12 : 171853 - 171875
  • [3] Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems
    Ukegbu, Chibuzo
    Mehrpouyan, Hoda
    2023 CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK, CPS-IOT WEEK WORKSHOPS, 2023, : 37 - 42
  • [4] Secure, reliable computer and network systems
    Ye, N
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2002, 18 (03) : III - III
  • [5] Blockchain and NFTs as Secure and Reliable Tools for Academic Certificates Verification
    Calderon, Guillermo
    2023 IEEE 41ST CENTRAL AMERICA AND PANAMA CONVENTION, CONCAPAN XLI, 2023, : 183 - 188
  • [6] Secure Design and Verification of Erlang Systems
    Fordos, Viktoria
    PROCEEDINGS OF THE 19TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, ERLANG 2020, 2020, : 31 - 40
  • [7] Secure and Reliable Internet of Things Systems for Healthcare
    Pulkkis, Goran
    Westerlund, Magnus
    Karlsson, Jonny
    Tana, Jonas
    2017 IEEE 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD 2017), 2017, : 169 - 176
  • [8] Maintaining Secure and Reliable Distributed Control Systems
    Sleptchenko, Andrei
    Johnson, M. Eric
    INFORMS JOURNAL ON COMPUTING, 2015, 27 (01) : 103 - 117
  • [9] Formal methods, techniques and tools for secure and reliable applications
    Patel, A
    COMPUTER STANDARDS & INTERFACES, 2005, 27 (05) : 439 - 443
  • [10] Persistent computing systems as continuously available, reliable, and secure systems
    Cheng, Jingde
    FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2006, : 631 - +
12345