位置：成果数据库 > 会议 > 会议详情页
A Formal Model for Security-Aware dynamic Web Services Composition
  • 所属机构名称：西安交通大学
  • 成果类型：会议
  • 相关项目：面向科研领域普适计算环境的按需聚合服务平台管理机制研究
同会议论文项目
面向科研领域普适计算环境的按需聚合服务平台管理机制研究
期刊论文 10 会议论文 10
同项目会议论文
Randomizing RFID Private Authentication
SpiG4WSC: A Calculus for Secure Services Composition
The Research and Design of an Agile Service Composition Approach Model
Context-aware Semantic Web Service Discovery
An Improved Calculus for Secure Dynamic Services Composition
A Novel Formal Framework for Secure Dynamic Services Composition
A Formal Approach for Web Services Composition MAS-Based Using Spi Calculus
The Research on Term Field Based Term Co-occurrence Mode
The Research and Design of the Semantic Search Engine Based on Ontology