用于Web服务中不可否认协议的BPEL流程

International Conference on Next Generation Web Services Practices (NWeSP'05) Pub Date : 2005-08-22 DOI:10.1109/NWESP.2005.22

M. Bilal, Johnson P. Thomas, P. Harrington, Ajith Abraham

{"title":"用于Web服务中不可否认协议的BPEL流程","authors":"M. Bilal, Johnson P. Thomas, P. Harrington, Ajith Abraham","doi":"10.1109/NWESP.2005.22","DOIUrl":null,"url":null,"abstract":"The BPEL language formally specifies business processes and interaction protocols. Nonrepudiation is a serious security issue in business transactions where any involved party denies having participated in a transaction. We propose and verify novel nonrepudiation protocols for business transactions and specify them in BPEL. Our proposed protocols fulfil the requirements of security, fairness, and timeliness.","PeriodicalId":433802,"journal":{"name":"International Conference on Next Generation Web Services Practices (NWeSP'05)","volume":"31 3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"BPEL processes for non-repudiation protocols in Web services\",\"authors\":\"M. Bilal, Johnson P. Thomas, P. Harrington, Ajith Abraham\",\"doi\":\"10.1109/NWESP.2005.22\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The BPEL language formally specifies business processes and interaction protocols. Nonrepudiation is a serious security issue in business transactions where any involved party denies having participated in a transaction. We propose and verify novel nonrepudiation protocols for business transactions and specify them in BPEL. Our proposed protocols fulfil the requirements of security, fairness, and timeliness.\",\"PeriodicalId\":433802,\"journal\":{\"name\":\"International Conference on Next Generation Web Services Practices (NWeSP'05)\",\"volume\":\"31 3 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-08-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Next Generation Web Services Practices (NWeSP'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NWESP.2005.22\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Next Generation Web Services Practices (NWeSP'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NWESP.2005.22","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

BPEL语言正式指定业务流程和交互协议。不可抵赖性是商业交易中一个严重的安全问题，任何相关方都否认参与了交易。我们为业务事务提出并验证新的不可抵赖协议，并在BPEL中指定它们。我们提出的协议满足了安全性、公平性和及时性的要求。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

BPEL processes for non-repudiation protocols in Web services

The BPEL language formally specifies business processes and interaction protocols. Nonrepudiation is a serious security issue in business transactions where any involved party denies having participated in a transaction. We propose and verify novel nonrepudiation protocols for business transactions and specify them in BPEL. Our proposed protocols fulfil the requirements of security, fairness, and timeliness.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Conference on Next Generation Web Services Practices (NWeSP'05)

自引率

0.00%

发文量