A framework for resource security in mobile computing

被引:0
|
作者
Yu, WJ [1 ]
Mok, AK [1 ]
机构
[1] Univ Texas, Dept Comp Sci, Austin, TX 78712 USA
来源
PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS | 2002年
关键词
resource security; certified code; mobile computing;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper proposes a framework for efficiently and effectively safeguard resource utilization bound in mobile computing. Our goal is achieved by coupling self-certified code approach and and run-time monitoring. The resource usage of a program is abstracted into a resource skeleton, and validated using a resource usage certificate derived from proof generation. Our framework provides full coverage for resource security by statically checking resource usage certificates and by dynamically monitoring any essential property not guaranteed by the certificates.
引用
收藏
页码:312 / 317
页数:6
相关论文
共 50 条
  • [31] Security in CloneCloud for Mobile Cloud Computing
    Patel, Payal
    Patel, Rajan
    2015 FIFTH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS AND NETWORK TECHNOLOGIES (CSNT2015), 2015, : 752 - 756
  • [32] Security simulator in mobile computing environment
    Takubo, A
    Ishikawa, M
    Watanabe, T
    Mizuno, T
    TWELFTH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN-12), PROCEEDINGS, 1998, : 89 - 94
  • [33] A Security Protection Framework for Cloud Computing
    Zhu, Wenzheng
    Lee, Changhoon
    JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2016, 12 (03): : 538 - 547
  • [34] A Framework for Improving Security in Cloud Computing
    Surbiryala, Jayachander
    Li, Chunlei
    Rong, Chunming
    2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017), 2017, : 260 - 264
  • [35] A Framework for Security Transparency in Cloud Computing
    Ismail, Umar Mukhtar
    Islam, Shareeful
    Ouedraogo, Moussa
    Weippl, Edgar
    FUTURE INTERNET, 2016, 8 (01)
  • [36] A Framework for Storage Security in Cloud Computing
    Chen, Guoyou
    Miao, Jiajia
    Xie, Feng
    Mao, Handong
    ADVANCES IN MECHATRONICS AND CONTROL ENGINEERING, PTS 1-3, 2013, 278-280 : 1767 - +
  • [37] Framework of Resource Management for Intercloud Computing
    Aazam, Mohammad
    Huh, Eui-Nam
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [38] A framework for resource allocation in grid computing
    Menascé, DA
    Casalicchio, E
    IEEE COMPUTER SOCIETY'S 12TH ANNUAL INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS - PROCEEDINGS, 2004, : 259 - 267
  • [39] FRAMESEC: a FRAMEwork for the application development with end-to-end SECurity provision in the mobile computing environment
    Fiiho, B
    Viana, W
    Braga, R
    Andrade, R
    Telecommunications 2005, Proceedings, 2005, : 72 - 77
  • [40] A Stackelberg-Game-Based Framework for Edge Pricing and Resource Allocation in Mobile Edge Computing
    Cheng, Siyao
    Ren, Tian
    Zhang, Hao
    Huang, Jiayan
    Liu, Jie
    IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (11): : 20514 - 20530