Browse by Journal or other publication
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Wagealla, Waleed and Carbone, Marco and English, Colin and Terzis, Sotirios and Nixon, Paddy (2003) A formal model of trust lifecycle management. In: Workshop on Formal Aspects of Security and Trust (FAST2003) as part of the 12th Formal Methods Europe Symposium (FM2003), 2003-09-08 - 2003-09-12.