A Common Middleware Security Model with Its Formal Description
Guoqing Wu · Computer Engineering and Science · 2006
This paper is based on the existing middleware technologies and the analysis of the security on three popular middleware platforms.We propose a common middleware security model which combines the characteristics of traditional security models and follows the design requirements of a layered middleware security architecture.In the last part of our paper,we use the finite state machine to formalize the middleware security model we proposed,and prove the secure state of the whole system.