Secure and Provable Service Support for Human-Intensive Real-Estate Processes

Emerson Ribeiro De Mello; Professor Savas Parastatidis; Dr Christopher Smith; Professor Aad van Moorsel; Dr Jim Webber

Secure and Provable Service Support for Human-Intensive Real-Estate Processes Lookup NU author(s) Emerson Ribeiro De Mello Professor Savas Parastatidis Dr Christopher Smith Professor Aad van Moorsel Dr Jim Webber



Author(s)		Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J
Publication type		Report
Series Title		School of Computing Science Technical Report Series
Year		2006
Date		May 2006
Report Number		960
Pages		21



Full text is available for this publication: Full text file 1




We introduce 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 Deal- Maker 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. A proof-of-concept demonstration is accessible for try-out.



Institution		School of Computing Science, University of Newcastle upon Tyne
Place Published		Newcastle upon Tyne
URL		http://www.cs.ncl.ac.uk/publications/trs/papers/960.pdf
Actions