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 条
  • [21] Formal Modeling and Verification of Secure Mobile Agent Systems
    Jiang, Mingyue
    Ding, Zuohua
    Zhou, Mengchu
    Zhou, Yuan
    2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 545 - 550
  • [22] Modeling and Verification of Reliable Messaging by Graph Transformation Systems
    Goenczy, Laszlo
    Kovacs, Matc
    Varro, Daniel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 175 (04) : 37 - 50
  • [23] Reliable on-line human signature verification systems
    Lee, LL
    Berger, T
    Aviczer, E
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1996, 18 (06) : 643 - 647
  • [24] Towards More Secure Cardholder Verification in Payment Systems
    Alhothaily, Abdulrahman
    Alrawais, Arwa
    Cheng, Xiuzhen
    Bie, Rongfang
    WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2014, 2014, 8491 : 356 - 367
  • [25] Methods for Reliable Simulation-Based PLC Code Verification
    Carlsson, Henrik
    Svensson, Bo
    Danielsson, Fredrik
    Lennartson, Bengt
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 267 - 278
  • [26] Hardware Runtime Verification of Embedded Software in SoPC
    Solet, Dimitry
    Bechennec, Jean-Luc
    Briday, Mikael
    Faucou, Sebastien
    Pillement, Sebastien
    2016 11TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2016,
  • [27] Reliable and Secure Data Sharing in Decentralized Mobile Crowd Systems
    Feng, Zhenni
    Chen, Junchang
    Xu, Fanbo
    PROCEEDINGS OF ACM TURING AWARD CELEBRATION CONFERENCE, ACM TURC 2021, 2021, : 15 - 22
  • [28] Initiative of systems and human science for safe, secure and reliable society
    Arai, T
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 1748 - 1751
  • [29] Engineering Challenges for Developing Reliable and Secure Heterogeneous Computing Systems
    Hristozov, Anton Dimov
    COMPUTER, 2024, 57 (10) : 36 - 44
  • [30] Integration of verification methods for program systems
    Kuliamin, V. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2009, 35 (04) : 212 - 222
12345