Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update

Application and Improvement of PCC

Huang Linpeng, Sun Yongqiang Department of Computer Science & Engineering, Shanghai Jiaotong University, China  
The advent of distributed computing based on internet have made the problem of untrusted foreign code security one of the exciting points of research in computer science. Proof Carry Code (PCC), a technology recently introduced by Necula and Lee, seems a rather ideal solution to this problem. The concept of PCC is very simple: have the code to prove itself, or in other words, a program should carry with itself a proof of its adherence to certain safety policies. This paper attempts to look into technical issues in PCC, compare PCC with other methods, study the advantages and limitations of PCC, and identify its potential application areas. The theory of programming languages, including type theory, logical framework, program verification and formal semantics, will provide a flexible approach to secure problems involved in WWW applications.
【Fund】: 国家自然科学基金
【CateGory Index】: TP332.3,TP312
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved