Specifying and Analysing Trust for Internet Applications
IFIP advances in information and communication technologyPublished 1 January 2003
Tyrone Grandison, Morris Sloman
Citations90
SJR quartileQ3
SJR score0.21
SNIP0.29
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
SULTAN (Simple Universal Logic-oriented Trust Analysis Notation) is an abstract, logic-oriented notation designed to facilitate the specification and analysis of trust relationships.
Abstract
The Internet is now being used for commercial, social and educational interactions, which previously relied on direct face-to-face contact in order to establish trust relationships. Thus, there is a need to be able to establish and evaluate trust relationships relying only on electronic interactions over the Internet. A trust framework for Internet applications should incorporate concepts such as experience, reputation and trusting propensity in order to specify and evaluate trust. SULTAN (Simple Universal Logic-oriented Trust Analysis Notation) is an abstract, logic-oriented notation designed to facilitate the specification and analysis of trust relationships. SULTAN seeks to address all the above issues, although this paper focuses on our initial work on trust specification and analysis.
Keywords
Social SciencesComputer Science
IEEE Communications Surveys & TutorialsA survey of trust in internet applications
1,149 Citations2000Tyrone Grandison, Morris Sloman
This survey examines the various definitions of trust in the literature and provides a working definition of trust for Internet applications and some influential examples of trust management systems.
The right type of trust for distributed systems
312 Citations1996Audun Jøsang
This paper examines the types of trust and trust relationships which are relevant for information security and shows that it is a very complex concept with many interesting and important implications.
Artificial Reasoning with Subjective Logic
174 Citations2008Audun Jøsang
This paper shows that Dempster’s consensus rule is inconsistent with Bayes’ rule and therefore is wrong, and provides an alternative rule with a solid mathematical basis that is suitable for handling ignorance and uncertainty which is required in artificial intelligence.
Lecture notes in computer scienceA subjective metric of authentication
118 Citations1998Audun Jøsang
A method for computing authenticity measures based on certificates, on key binding, and on trust relationships, which includes the opinion model which is a radically new way of representing trust, and subjective logic which consists of a set of logical operators for combining opinions.
Communications of the ACMTrust (and mistrust) in secure applications
92 Citations2001John Viega, Tadayoshi Kohno +1 more
The common trust assumptions and why they are often wrong are considered, how these trust assumptions can arise during an application’s development process, and how to minimize the number of problematic trust assumptions in an application.
IEEE Communications Surveys & TutorialsFormal methods for specification and analysis of communication protocols
62 Citations2002F. Babich, L. Deotto
The tutorial description is completed by examples of recent applications of FMs to the specification and analysis of transmission and signaling protocols in industrial and research projects, which describe the methods' application domain and offer selected references for further readings.
An axiomatic basis of trust in distributed systems
59 Citations2003P. Venkat Rangan
The author presents methods to map a formal trust specification on to mechanisms for its implementation in the distributed system, and shows how security specification and verification methods can be integrated into the presented theory of trust.
Computer Networks and ISDN SystemsREFEREE: trust management for Web applications
55 Citations1997Yang-hua Chu, Joan Feigenbaum +3 more
The need for trust management in Web applications is flesh out, the design philosophy of the REFEREE trust management system is explained, a prototype implementation is described, and a system for writing policies about policies is described.
BMJTrust and mistrust
50 Citations1994Nizam Mamode
The hospital might close this week, but this is not another case of an empty purse, shoulders shrugged, and operations cancelled, but a decision by the porters, after weeks of vacillation, to finally hold a strike ballot.
Lecture notes in computer scienceProspectives for modelling trust in information security
44 Citations1997Audun Jøsang
Four formal models for trust which have been proposed in the recent years are analysed with the purpose of determining their strong and weak sides.
On the Characterisation of a Trusting Agent — Aspects of a Formal Approach
33 Citations2001Andrew Jones, Babak Sadighi Firozabadi
The rapid increase in the use of open distributed systems has given rise to a number of important issues for computer scientists, some of which concern the organisation of interactions between computers, between humans, and between humans and computers.
DSpace@MIT (Massachusetts Institute of Technology)Trust management for the World Wide Web
17 Citations1997Yang-hua Chu
This thesis will identify what trust management is in the context of the World Wide Web and propose a general architecture to close the gap between trust and cryptography.
Lecture notes in computer scienceInteroperating between Security Domains
4 Citations1998Charles Schmidt, Vipin Swarup
This work is studying protocols and interfaces that would allow objects to interoperate securely, even when their domains do not support the same security policies or mechanisms.