Computer Science ›› 2006, Vol. 33 ›› Issue (12): 249-254.
Previous Articles Next Articles
Online:
Published:
Abstract: J2EE specifications provide the technique blue-prints of the current development of application servers and distributed multi-layer applications. However, the J2EE specifications are expressed in nature/half-nature language, which brings vulnerabilities s
Key words: J2EE specification, Model checking,SPIN
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I12/249
Cited
Home