K次程序的定义和构造  

Definition and construction of K-time programs

作　　者：马国峻[1,2] 裴庆祺[2] 陈原[2] 姜晓鸿[1] 

机构地区：[1]西安电子科技大学计算机学院,陕西西安710071 [2]西安电子科技大学综合业务网理论及关键技术国家重点实验室,陕西西安710071

出　　处：《西安电子科技大学学报》2012年第1期111-114,127,共5页Journal of Xidian University

基　　金：国家自然科学基金资助项目(60803150;61172068;61003300);中央高校基本科研业务费资助项目(K50511010003);国家重点基础研究发展计划(973计划)资助项目(A001200907);航空基金资助项目(20101981015)

摘　　要：在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.Based on the study of one-time programs,we describe the characters of K-time programs by a formal definition and study the condition and method for the construction of the K-time program based on the definition to make up the lack of the theoretical study of the characters and construction of K-time programs.We provide a theoretical basis for the K-time program construction by presenting a necessary condition for the K-time program construction with a definition of the programs that can not be converted into K-time programs and a definition of the programs that can be converted into K-time programs along with a one time program based construction of this kind of programs and proof.

关 键 词：一次程序 K次程序 加密电路 一次内存 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]