Computers have been in use for many years to build high confidence systems in safety-critical domains such as aircraft control, space transportation and exploration, and nuclear power plant management. However, due to the recent rush in developing ubiquitous and pervasive computing applications and a demand from across the world to access information from shared sources, the mosaic of computing ecosystem has undergone a radical change. It is in this context that computing has to be made trustworthy. To build and manage a trustworthy system it is necessary to blend and harmonize socially acceptable and technically feasible norms of trust. This in turn requires a generic formal model in which trust categories can be specified, trusted communication can be enabled, and trustworthy transactions can be specified and reasoned about. In this paper we introduce a formal intensional model of trust and suggest how it can be integrated into a trust management system.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Vasu Alagar and Mubarak Mohammad. A Component Model for Trustworthy Real-Time Re-active Systems Development. In Proceedings of the 4th International Workshop on Formal Aspects of Component Systems (FACS’07), September 19 - 21, 2007. Sophia-Atipolis, France.
Vasu Alagar and Mubarak Mohammad. Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems. In Proceedings of the Specification and Ver-ification of Component-Based Systems Workshop (SAVCBS’07), September 03 - 04, 2007, Dubrovnik, Croatia. (ACM Portal http://portal.acm.org/citation.cfm?id=1292316.1292327 & coll=GUIDE & dl=)
V.S. Alagar, J. Paquet, K. Wan. Intensional Programming for Agent Communication. Proceed-ings of the 2nd International Workshop on Declarative Agent Languages and Technologies (DALT) 2004, New York, U.S.A., June 2004, LNAI Springer-Verlag, Vol. 3476, Page 239-255. ISBN: 3-540-26172-9.
R. Carnap. Meaning and Necessity. Chicago University Press, 1947. Enlarged Edition 1956.
Marco Carbone, Mogens Nielsen, and Vladimiro Sassone. A formal model for trust in dynamic networks. Research Series RS-03-04, BRICS, Department of Computer Science, University of Aarhus, January 2003, EU Project SECURE IST-2001-32486 Deliverable 1.1.
N. Damianou, N. Dulay, E. Lupu, and M. Solomon. The Ponder Policy Specification Lan-guage. Proceedings Policy 2001: Workshop on Policies for Distributed Systems and Networks, Bristol, UK, 29-31, Jan. 2001.
J. DeTreville. Binder, a logic-based security language. Proceedings of the 2002 IEEE Sympo-sium on Security and Privacy, IEEE Computer Society Press, May 2002, 105-113.
Nathan Dimmock, Andr ás Belokosztolszki, and David Eyers. Using Trust and Risk in Role-Based Access Control Policies., In Ninth ACM Symposium on Access Control Models and Technologies (SACMAT), Yorktown Heights, New York, June 2004.
Tyrone Grandison and Morris Sloman. A Survey of Trust in Internet Applications. IEEE Communications Surveys, Fourth Quarter 2000, 1-16.
Audun Jφsang, Elizabeth Gray, and Michael Kinateder. Analyzing topologies of transitive trust. In Proceedings of the Workshop of Formal Aspects of Security and Trust (FAST), September 2003.
S. Jones. TRUST-EC: Requirements for Trust and Confidence in E-Commerce. European Commission, Joint Research Center, 1999.
G. Klyne. www.ninebynine.org/iTrust/Intro.html, 2008.
D. Harrison McKnight and Norman L. Chervany. Trust and Distrust Definitions: One Bite at a Time. In Trust in Cyber Societies - LNAI, 2246:27-54, 2001.
Craig Mundie, Peter de Vries, Peter Haynes, and Matt Corwine. Trustworthy Computing -Microsoft White Paper, Microsoft Corporation, October 2002.
D. Povey. Trust Management, 1999, http://security.dstc.edu.au/presentations/trust.
KaiYu Wan, Vasu Alagar. A Context Theory for Multi-agent Systems. Revised Draft, January 2008.
Kaiyu Wan, Lucx: Lucid Enriched with Context, Ph.d Thesis, Department of Computer Sci-ence and Software Engineering, Concordia University, Montreal, Canada, January 2006.
K. Wan, V.S. Alagar. An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT) 2005, Utrecht, The Netherlands, July 25, 2005. Page 148-164, LNCS Springer-Verlag, Vol. 3904, pp. 205-222.
Stephen Weeks. Understanding trust management systems. In Proceedings of IEEE Symposium on Security and Privacy., Oakland, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wan, K., Alagar, V. (2008). An Intensional Functional Model of Trust. In: Karabulut, Y., Mitchell, J., Herrmann, P., Jensen, C.D. (eds) Trust Management II. IFIPTM 2008. IFIP – The International Federation for Information Processing, vol 263. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09428-1_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-09428-1_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-09427-4
Online ISBN: 978-0-387-09428-1
eBook Packages: Computer ScienceComputer Science (R0)