| ¡¡ | Chinese Journal of Computers Full Text |
| Title | Static Checking of Security Related Behavior Model for Multithreaded Java Programs |
| Authors | JIN Ying LI Ze-Peng ZHANG Jing LIU Lei |
| Address | (College of Computer Science and Technology, Jilin University, Changchun 130012) |
| Year | 2009 |
| Issue | No.9(1856¡ª1868) |
| Abstract & Background | Abstract Multithreading is an important mechanism for supporting program structuring and parallel computation. With the wide usage of multithreading, security for multithreaded application has become one of new hot research topics. This paper focuses on the security of Java multithreaded programs. At first, parameterized extended context free grammar has been used to formally represent security related behavior model for multithreaded Java program; then the way of automatic generation of such model is introduced, and an approach to statically check security related behavior model is formalized. The method has been applied in the framework of model carrying code. It has been indicated that the method provides effective support for safe execution of untrusted multithreaded Java mobile code. Keywords multithreaded Java program; security related behavior model; static checking; parameterized extended context free grammar |