A Common Middleware Security Model with Its Formal Description

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