Abstract: The middlewares used in software systems is not secure. Aiming at this problem, this paper designs four kinds of wrappers, which let these middlewares run under secure environment, and provides the control of good granularity among the middlewares, the middleware and other system resources. It researches the expression methods of these wrappers, uses box-π calculus to describe these wrappers and secure encapsulation process, and analyzes the security of each wrapper.

Key words: middleware, wrapper, secure encapsulation

摘要： 软件系统采用的中间件安全性不高，针对该问题设计4种封装器，确保中间件在安全环境下执行，为中间件之间、中间件和其他系统资源之间的交互提供细粒度控制。研究封装器的表示方法，使用box-π微积分描述封装器和安全封装过程，分析各种封装器的安全性。

关键词: 中间件, 封装器, 安全封装

CLC Number: 

• TP309.2