一种通用中间件安全模型及形式化描述  

A Common Middleware Security Model with Its Formal Description

作　　者：吴景阳[1] 毋国庆[1] 

机构地区：[1]武汉大学计算机学院,湖北武汉430072

出　　处：《计算机工程与科学》2006年第1期112-114,共3页Computer Engineering & Science

摘　　要：本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机(FSM)对该模型进行形式化描述,并证明了系统的安全性。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.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]