论文部分内容阅读
摘要：文章针对组合服务安全性检查方法未对服务进行分类处理的问题，将服务分为基本服务和扩展服务，基本服务采用进程元语言建模，借助线性时态逻辑表示基本服务的常规安全标准，通过SPIN模型检查基本服务符合常规安全标准的情况；扩展服务在开放工作流网络建模，借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能，实验结果表明组合服务安全性检查方法是正确的和有效的。