位置：成果数据库 > 期刊 > 期刊详情页
一种基于TPN的服务组合验证方法
  • 期刊名称：计算机科学, 34(9A): 70-74, 2007
  • 时间：0
  • 相关项目：感知时间和情景的存取控制策略建模与实施
作者： 范贵生，虞慧群，陈丽琼
同期刊论文项目
感知时间和情景的存取控制策略建模与实施
期刊论文 26 会议论文 9 获奖 1 著作 1
同项目期刊论文
可靠服务组合的协调策略与分析
一种基于Petri网的服务组合流程分析方法
一种基于语义网技术和本体的数据集成方法
开放系统中基于信任度和上下文的访问控制模型
基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证
面向敏感值的个性化隐私保护
一个Peer-to-Peer环境下综合信誉计算模型
基于Petri网的服务组合故障诊断与处理
P2P系统中基于属性约减的可信度评价
一种感知情景的存取控制策略的规
一种基于UML的面向方面模块动态
一种用例驱动的需求关注点分离的
一种基于Object-Z的面向方面建模
一种基于NFA查询重写的XML过滤技
基于安全进程代数的信息流安全模型的分析与验证
基于评估函数的全局中介器动态选举技术
基于面向方面技术的服务安全组合故障分析
嵌入式通信软件开发中的设计模式
基于组件的嵌入式软件开发中的几个关键问题
A Robust IP Packets Filtering Mechanism for Protecting Web Server from DDoS Attacks
一种用于循环程序形式化验证的划分归纳方法
一个针对蠕虫攻击的分布式入侵检测框架
针对WSN的DDoS攻击的改进概率包标记算法研究
一种用例驱动的需求关注点分离的方法
数据表k-匿名化的微聚集算法研究