关键词: 中间件安全性 安全模型 体系结构 有穷状态自动机FSM

Abstract:

This paper is based on the existing middleware technologies and the analysis ot the security on mree 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.

Key words: middleware security, security model, middleware security architecture, formal method, finite state , machine