计算机科学 ›› 2007, Vol. 34 ›› Issue (2): 267-269.

• 计算机网络与信息安全 • 上一篇    下一篇

基于确认式编译技术的移动代码安全性研究

罗晓光 王生原 董渊 张素琴   

  1. 清华大学计算机系软件所,北京100084
  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本文受到国家自然科学基金项目(#60573017)资助.

LUO Xiao-Guang, WANG Sheng-Yuan, DONG Yuan ,ZHANG Su-Qin (Department of Computer Science and Technology, Tsinghua University, Beijing 100084)   

  • Online:2018-11-16 Published:2018-11-16

摘要: 应用确认式编译技术解决移动代码的安全性问题是国际上新近开始研究的方法,其最大特点是把确保满足安全策略的主要任务由代码消费方转移到代码生产方,可以有效解决代码消费方运行时负担过重的问题;此外,它是对代码本身进行验证,而不是对代码产生方的身份进行验证,因而可信度更高并可以支持匿名代码。本文对该研究技术进行了分析,从中可了解到:支持更高级别的安全性是这种技术获得更广泛应用的焦点;并针对这种需求,在该文中穿插介绍了我们的工作设想,以期与同行分享。

关键词: 确认式编译技术 移动代码 安全性 并发性 Petri网

Abstract: Using certifying compiler for the the safety solution of mobile codes is a new approache in the literature, featured with that a large percentage of the load for checking the safty policy can be transfered from a code consumer to a code producer so that t

Key words: Certifying compiler, Mobile codes, Securiy,Concureney, Petri nets

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!