Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: For a program which handles secret information, it is very important to prevent inappropriate information leaks from a program with secret data. D.E. Denning (1976) proposed a mechanism to certify the security of program by statically analyzing information flow, and S. Kuninobu et al. (2000) proposed a more practical analysis framework including recursive procedure handling, although no implementation has been yet made.  propose a method of security analysis implementation, and show a security analysis tool implemented for a procedural language.  extend Kuninobu's algorithm by devising various techniques for analysis of practical programs that have recursive calls and global variables. This method is validated by applying our tools to a simple credit card program, and  confirm that the validation of program security is very useful.
['Reishi Yokomori', 'Fumiaki Ohata', 'Yoshiaki Takata', 'Hiroyuki Seki', 'Katsuro Inoue']
I am writing a research paper on a idea Analysis and implementation method of program to detect inappropriate information leak
[{"from": "human", "value": "I am writing a research paper on a idea Analysis and implementation method of program to detect inappropriate information leak"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: For a program which handles secret information, it is very important to prevent inappropriate information leaks from a program with secret data. D.E. Denning (1976) proposed a mechanism to certify the security of program by statically analyzing information flow, and S. Kuninobu et al. (2000) proposed a more practical analysis framework including recursive procedure handling, although no implementation has been yet made.  propose a method of security analysis implementation, and show a security analysis tool implemented for a procedural language.  extend Kuninobu's algorithm by devising various techniques for analysis of practical programs that have recursive calls and global variables. This method is validated by applying our tools to a simple credit card program, and  confirm that the validation of program security is very useful."}]