Secure and provable service support for human-intensive real-estate processes

De Mello, Emerson, Parastatidis, Savas, Reinecke, Philipp ORCID: https://orcid.org/0000-0002-2411-0891, Smith, Chris, Moorsel, Aad and Webber, Jim 2006. Secure and provable service support for human-intensive real-estate processes. Presented at: 2006 IEEE International Conference on Services Computing (SCC'06), Chicago, IL, USA, 18-22 September 2006. Proceedings of 2006 IEEE International Conference on Services Computing (SCC'06). IEEE, -. 10.1109/SCC.2006.84

Full text not available from this repository.

Abstract

This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactions, and systematically addresses human interaction capabilities through Web-based user access to services. We demonstrate the features of SOAR through a DealMaker service that helps buyers and sellers semi-automate the various steps in a real-estate transaction. This service is a composed service, with message-based interactions specified in SSDL, the SOAP service description language. The implemented embedded trust and security solution deals with the usual privacy and authorization issues, but also establishes trust in ownership and other claims of participants. We also demonstrate how formal techniques can proof correctness of the service interaction protocol specified in SSDL. From an implementation perspective, a main new contribution is a protocol engine for SSDL

Item Type:	Conference or Workshop Item (Paper)
Date Type:	Published Online
Status:	Published
Schools:	Computer Science & Informatics
Publisher:	IEEE
ISBN:	0-7695-2670-5
Last Modified:	06 Jan 2023 02:43
URI:	https://orca.cardiff.ac.uk/id/eprint/124306

Citation Data

Cited 3 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item