Dynamic trustworthiness verification mechanism for trusted cloud execution environment

被引：0
|
作者：
Liu, Chuan-Yi [1 ,3 ]
Lin, Jie [2 ,3 ]
Tang, Bo [4 ]
机构：
[1] Software School, Beijing University of Posts and Telecommunications, Beijing 100876, China
[2] School of Computer Science and Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
[3] Key Laboratory of Trustworthy Distributed Computing and Service (BUPT), Ministry of Education, Beijing 100876, China
[4] Department of IT Construction, Postal Savings Bank of China, Beijing 100808, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2014年 / 25卷 / 03期
关键词：
Trusted computing;
D O I：
10.13328/j.cnki.jos.004447
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：662 / 674
相关论文
共 50 条
  • [21] Securing a communication channel for the trusted execution environment
    Jang, Jinsoo
    Kang, Brent Byunghoon
    COMPUTERS & SECURITY, 2019, 83 : 79 - 92
  • [22] Colony: A Privileged Trusted Execution Environment With Extensibility
    Xia, Yubin
    Hua, Zhichao
    Yu, Yang
    Gu, Jinyu
    Chen, Haibo
    Zang, Binyu
    Guan, Haibing
    IEEE TRANSACTIONS ON COMPUTERS, 2022, 71 (02) : 479 - 492
  • [23] Formal Specification of Trusted Execution Environment APIs
    Yu, Geunyeol
    Chae, Seunghyun
    Bae, Kyungmin
    Moon, Sungkun
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 101 - 121
  • [24] Trusted Execution Environment for Decentralized Process Mining
    Goretti, Valerio
    Basile, Davide
    Barbaro, Luca
    Di Ciccio, Claudio
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2024, 2024, 14663 : 509 - 527
  • [25] A new mechanism for trusted code remote execution
    Zhang, Liqiang
    Zhang, Huanguo
    Zhang, Xiantao
    Chen, Lu
    CIS WORKSHOPS 2007: INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY WORKSHOPS, 2007, : 574 - 577
  • [26] Formal Verification of Virtualization-Based Trusted Execution Environments
    Witharana, Hasini
    Weerasena, Hansika
    Mishra, Prabhat
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (11) : 4262 - 4273
  • [27] Towards Trusted Environment in Cloud Monitoring
    Kekkonen, Tuomas
    Kanstren, Teemu
    Hatonen, Kimmo
    2014 11TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS (ITNG), 2014, : 180 - 185
  • [28] Research of a trusted execution environment module for multiple platforms
    Zhang, Qian-Ying
    Zhao, Shi-Jun
    Feng, Wei
    Qin, Yu
    Feng, Deng-Guo
    Tongxin Xuebao/Journal on Communications, 2014, 35 : 72 - 85
  • [29] Building a Lightweight Trusted Execution Environment for Arm GPUs
    Wang, Chenxu
    Deng, Yunjie
    Ning, Zhenyu
    Leach, Kevin
    Li, Jin
    Yan, Shoumeng
    He, Zhengyu
    Cao, Jiannong
    Zhang, Fengwei
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2024, 21 (04) : 3801 - 3816
  • [30] Analysis of Trusted Execution Environment usage in Samsung KNOX
    Atamli-Reineh, Ahmad
    Borgaonkar, Ravishankar
    Balisane, Ranjbar A.
    Petracca, Giuseppe
    Martin, Andrew
    SYSTEX 2016: 1ST WORKSHOP ON SYSTEM SOFTWARE FOR TRUSTED EXECUTION, 2016,
12345