The Use of Formal Methods in the Analysis of Trust (Position Paper)

Abstract

Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for modern computing systems. Security has been studied thoroughly for many years, particularly the sub-domain of cryptography. The use of computing science formal methods has… (More)
DOI: 10.1007/978-3-540-24747-0_25

Topics

3 Figures and Tables

Cite this paper

@inproceedings{Butler2004TheUO, title={The Use of Formal Methods in the Analysis of Trust (Position Paper)}, author={Michael J. Butler and Michael Leuschel and St{\'e}phane Lo Presti and Phillip Turner}, booktitle={iTrust}, year={2004} }