An Improved Calculus for Secure Dynamic Services Composition
作者： Dong-Hong Xu , Yong Qi , Di Hou , Gong-Zhen Wang , Ying Chen
关键词: Negotiation 、 Transaction processing 、 Service-oriented architecture 、 Orchestration (computing) 、 Schema (psychology) 、 Computer science 、 Calculus of communicating systems 、 Choreography 、 Calculus 、 Computer security 、 Web service 、 High-level programming language
摘要: With the increased interest in Web services composition, more and enterprises businesses depend on this paradigm. Open, distributed dynamic properties of schema, there is a pressing need for secure daily transactions. Orchestration choreography language provide basic standards interaction, collaboration, negotiation among services, but they are not give any manners or operation styles specifications. Despite such security mechanisms, formal module them still lacking. For giving general guide to implement orchestration language, we approach carry out those goals. To target, emphasize by designing an extension Spi calculus with Secure Global Calculus. The precisely identifies each principal from local viewpoint. global describes interaction scenario vantage point view. We called our method SpiG4WSC calculus. believe that combination strong practical needs composition theoretical foundations will lead bridge between practice theories. contribution paper (1) syntax semantic calculus; (2)applying model presenting orchestration, emphasizing basis services; (3)describing choreography, frame processes.
computer.org
sci-hub.se 参考文章(14)
Kapali Viswanathan, Colin Boyd, Ed Dawson, Secure Selection Protocols international conference on information security and cryptology. pp. 132- 146 ,(1999) , 10.1007/10719994_11
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro, A Calculus for Long-Running Transactions formal methods for open object based distributed systems. pp. 124- 138 ,(2003) , 10.1007/978-3-540-39958-2_9
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino, Secure service orchestration Foundations of security analysis and design IV. ,vol. 4677, pp. 24- 74 ,(2007) , 10.1007/978-3-540-74810-6_2
Laura Bocchi, Paolo Ciancarini, On the Impact of Formal Methods in the SOA Electronic Notes in Theoretical Computer Science. ,vol. 160, pp. 113- 126 ,(2006) , 10.1016/J.ENTCS.2006.05.018
Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Reasoning About Interaction Protocols for Web Service Composition Electronic Notes in Theoretical Computer Science. ,vol. 105, pp. 21- 36 ,(2004) , 10.1016/J.ENTCS.2004.02.023
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon, Secure sessions for Web services ACM Transactions on Information and System Security. ,vol. 10, pp. 8- ,(2007) , 10.1145/1237500.1237504
Mirko Viroli, Towards a Formal Foundation to Orchestration Languages Electronic Notes in Theoretical Computer Science. ,vol. 105, pp. 51- 71 ,(2004) , 10.1016/J.ENTCS.2004.05.008
Claudio Guidi, Roberto Lucchi, Manuel Mazzara, A Formal Framework for Web Services Coordination Electronic Notes in Theoretical Computer Science. ,vol. 180, pp. 55- 70 ,(2007) , 10.1016/J.ENTCS.2006.10.046
Dong-Hong Xua, Yong Qi, Di Hou, Ying Chen, Liang Liu, Comparison of the Task Performances with the Multi-display Computer international conference on computational science and its applications. pp. 416- 422 ,(2007) , 10.1109/ICCSA.2007.23
Lucian Wischik, New directions in implementing the pi calculus ,(2002)