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

• A Common Middleware Security Model with Its Formal Description