[1] SALEH A Z M, ROZALI N A, BUJA A G, et al. A method for web application vulnerabilities detection by using boyer-moore string matching algorithm [J]. Procedia Computer Science, 2015, 72:112-121. [2] BOUDREAU T, TULACH J, WIELENGA G. Rich client programming: plugging into the NetBeans(TM) Platform [M]. New York:Prentice Hall PTR, 2007. [3] LIEBERHERR K, LORENZ D H, OVLINGER J. Aspectual collaborations: combining modules and aspects [J]. Computer Journal,2003,46(5): 542-565. [4] BERGMANS L, LOPES C V. Aspect-Oriented Programming [C]// European Conference on Object- Oriented Programming.Berlin: Springer, 1999:288-313.[5] KONG A, ZHANG D, KAMEL M. A study of brute- force break-ins of a palmprint verification system[J]. Lecture Notes in Computer Science, 2005, 57(2):447-454 . [6] KRISTOL D, MONTULLI L. HTTP state management mechanism [J]. Rfc, 1997, 11(3):82-89. [7] NIKIFORAKIS N, MEERT W, YOUNAN Y, et al. SessionShield: lightweight protection against session hijacking [C]// International Conference on Engineering Secure Software and Systems. Berlin:Springer-Verlag, 2011:87-100. [8] HOWERTON J T. Service-oriented architecture and Web 2.0[J]. It Professional, 2007, 9(3):62-64. [9] HERMOSILLO G, GOMEZ R, SEINTURIER L, et al. Using aspect programming to secure Web applications [J]. Journal of Software, 2007, 2(6):53-63. [10] 汪定, 马春光, 翁臣,等. 强健安全网络中的中间人攻击研究 [J]. 计算机应用, 2012, 32(1):42-44. [11] 王鹏, 季明, 梅强,等. 交换式网络下HTTP会话的劫持研究及其对策 [J]. 计算机工程, 2007, 33(5):135-137. [12] 徐兵, 谢仕义. Web应用程序会话安全模块的设计 [J]. 计算机工程, 2008, 34(19):176-178. [13] 韩坤. Web服务安全会话管理的研究与实现 [D]. 北京:北京邮电大学, 2007. [14] 刘新亮, 杜瑞颖, 陈晶,等. 针对SSL/TLS协议会话密钥的安全威胁与防御方法 [J]. 计算机工程, 2017, 43(3):147-153.
[1]张 进,何成万*,石 尤.基于AOP的契约定义及其与JML契约的转换[J].武汉工程大学学报,2020,42(04):456.[doi:10.19843/j.cnki.CN42-1779/TQ.201912025]
ZHANG Jin,HE Chengwan,SHI You.AOP Contracts Definition and Its Conversion to JML Contracts[J].Journal of Wuhan Institute of Technology,2020,42(05):456.[doi:10.19843/j.cnki.CN42-1779/TQ.201912025]