J4 ›› 2012, Vol. 39 ›› Issue (1): 111-114+127.doi: 10.3969/j.issn.1001-2400.2012.01.020

• Original Articles • Previous Articles     Next Articles

Definition and construction of K-time programs

MA Guojun1,2;PEI Qingqi2;CHEN Yuan2;JIANG Xiaohong1
  

  1. (1. School of Computer Science and Technology, Xidian Univ., Xi'an  710071, China;
    2. State Key Lab. of Integrated Service Networks, Xidian Univ., Xi'an  710071, China)
  • Received:2011-09-16 Online:2012-02-20 Published:2012-04-06
  • Contact: MA Guojun E-mail:guojunma@126.com

Abstract:

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.

Key words: one-time programs, K-time programs, garbled circuit, one-time memory