A formal model of trust lifecycle management

Waleed Wagealla, Marco Carbone, Colin English, Sotirios Terzis, Paddy Nixon

Research output: Contribution to conferencePaper

Abstract

The rapid development of collaborative environments over the internet has highlighted new concerns over security and trust in such global computing systems. The global computing infrastructure poses an issue of uncertainty about the potential collaborators. Reaching a trusting decision in such environments encompasses both risk and trust assessments. While much work has been done in terms of modelling trust, the investigation of the management of trust lifecycle issues with consideration of both trust and risk is less examined. Our previous work addressed the dynamic aspects of trust lifecycle with a consideration of trust formation, exploitation, and evolution. In this paper we provide an approach for formalizing these aspects. As part of the formalization of the trust lifecycle,we introduce a notion of attraction to model the effect of new pieces of evidence on our opinion. The formalization described in this paper constitutes the basis of ongoing work to investigate the properties of the model.

Conference

ConferenceWorkshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003)
CityPisa, Italy
Period8/09/0312/09/03

Fingerprint

Internet
Uncertainty

Keywords

  • trust management
  • collaborative computing
  • networking
  • security
  • computer security

Cite this

Wagealla, W., Carbone, M., English, C., Terzis, S., & Nixon, P. (2003). A formal model of trust lifecycle management. Paper presented at Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), Pisa, Italy, .
Wagealla, Waleed ; Carbone, Marco ; English, Colin ; Terzis, Sotirios ; Nixon, Paddy. / A formal model of trust lifecycle management. Paper presented at Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), Pisa, Italy, .
@conference{e3b67bcfb1f14eb98f180201a1c50db6,
title = "A formal model of trust lifecycle management",
abstract = "The rapid development of collaborative environments over the internet has highlighted new concerns over security and trust in such global computing systems. The global computing infrastructure poses an issue of uncertainty about the potential collaborators. Reaching a trusting decision in such environments encompasses both risk and trust assessments. While much work has been done in terms of modelling trust, the investigation of the management of trust lifecycle issues with consideration of both trust and risk is less examined. Our previous work addressed the dynamic aspects of trust lifecycle with a consideration of trust formation, exploitation, and evolution. In this paper we provide an approach for formalizing these aspects. As part of the formalization of the trust lifecycle,we introduce a notion of attraction to model the effect of new pieces of evidence on our opinion. The formalization described in this paper constitutes the basis of ongoing work to investigate the properties of the model.",
keywords = "trust management, collaborative computing, networking, security, computer security",
author = "Waleed Wagealla and Marco Carbone and Colin English and Sotirios Terzis and Paddy Nixon",
year = "2003",
month = "9",
day = "12",
language = "English",
note = "Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003) ; Conference date: 08-09-2003 Through 12-09-2003",

}

Wagealla, W, Carbone, M, English, C, Terzis, S & Nixon, P 2003, 'A formal model of trust lifecycle management' Paper presented at Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), Pisa, Italy, 8/09/03 - 12/09/03, .

A formal model of trust lifecycle management. / Wagealla, Waleed; Carbone, Marco; English, Colin; Terzis, Sotirios; Nixon, Paddy.

2003. Paper presented at Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), Pisa, Italy, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - A formal model of trust lifecycle management

AU - Wagealla, Waleed

AU - Carbone, Marco

AU - English, Colin

AU - Terzis, Sotirios

AU - Nixon, Paddy

PY - 2003/9/12

Y1 - 2003/9/12

N2 - The rapid development of collaborative environments over the internet has highlighted new concerns over security and trust in such global computing systems. The global computing infrastructure poses an issue of uncertainty about the potential collaborators. Reaching a trusting decision in such environments encompasses both risk and trust assessments. While much work has been done in terms of modelling trust, the investigation of the management of trust lifecycle issues with consideration of both trust and risk is less examined. Our previous work addressed the dynamic aspects of trust lifecycle with a consideration of trust formation, exploitation, and evolution. In this paper we provide an approach for formalizing these aspects. As part of the formalization of the trust lifecycle,we introduce a notion of attraction to model the effect of new pieces of evidence on our opinion. The formalization described in this paper constitutes the basis of ongoing work to investigate the properties of the model.

AB - The rapid development of collaborative environments over the internet has highlighted new concerns over security and trust in such global computing systems. The global computing infrastructure poses an issue of uncertainty about the potential collaborators. Reaching a trusting decision in such environments encompasses both risk and trust assessments. While much work has been done in terms of modelling trust, the investigation of the management of trust lifecycle issues with consideration of both trust and risk is less examined. Our previous work addressed the dynamic aspects of trust lifecycle with a consideration of trust formation, exploitation, and evolution. In this paper we provide an approach for formalizing these aspects. As part of the formalization of the trust lifecycle,we introduce a notion of attraction to model the effect of new pieces of evidence on our opinion. The formalization described in this paper constitutes the basis of ongoing work to investigate the properties of the model.

KW - trust management

KW - collaborative computing

KW - networking

KW - security

KW - computer security

UR - http://www.cis.strath.ac.uk/research/publications/papers/strath_cis_publication_213.pdf

M3 - Paper

ER -

Wagealla W, Carbone M, English C, Terzis S, Nixon P. A formal model of trust lifecycle management. 2003. Paper presented at Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), Pisa, Italy, .