DSSE
Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Research Projects
Formal Methods Projects

DSSE:Research Projects

Trusted Software Agents and Services
(this project has ended)

The Trusted Software Agents and Services (TSAS) project is investigating and demonstrating the Trust issues that arise from accessing software services and utilising agent technology in PervasiveComputing environments. The project is developing software/hardware demonstrators with which to explore and highlight trust matters in the context of applications such as home finance or tele-medicine. The project is also examining the appropriate validation techniques that can help to achieve assurance of trustworthiness in such technologies.

The project is a part of the DTI Next Wave Technologies and Markets programme. The project is a collaborative effort involving the QinetiQ Distributed Technology Group, together with the Declarative Systems and Software Engineering (DSSE) group, and the Intelligence Agents Multimedia (IAM) group, both at the University of Southampton.

Homepage: http://www.trustedagents.co.uk/
Type: Normal Research Project
Research Groups: Dependable Systems & Software Engineering, Grid and Pervasive Computing Group
Themes: Pervasive Computing and Networks, Formal Methods, Security & Trust
Dates: 1st January 2003 to ?

Partners

  • QinetiQ

Funding

  • DTI

Principal Investigators

Other Investigators

  • [hidden]
© School of Electronics and Computer Science of the University of Southampton