组合服务安全性检查方法研究  

作　　者：顾小林[1,2] 卞艺杰 浦徐进[1] 曹文彬[1] 蒋勋[3] 

机构地区：[1]河海大学商学院,南京210098 [2]江南大学江苏省食品安全研究基地,江苏无锡214122 [3]南京大学信息学院,南京210093

出　　处：《统计与决策》2013年第23期65-67,共3页Statistics & Decision

基　　金：国家自然科学基金资助项目(70901034);教育部人文社科研究规划基金(12YJA630007);中央高校基本科研业务费专项资金资助项目(JUSRP21101);江南大学校人文社科预研项目(2010wyy005);江南大学江苏省食品安全研究基地项目(10SPJD006);江南大学自主科研计划学科交叉创新团队基金(JUSRP31107)

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

关 键 词：线性时态逻辑 进程元语言 简单服务组合语言 物联网 

分 类 号：O212[理学—概率论与数理统计]