A formal apparatus for modeling trust in computing environments

DOI10.1016/J.MCM.2008.05.005MaRDI QIDQ2389890zbMATH OpenOpenAlexFDO

Authors Denis Trček

Publication date 20 July 2009

Published in Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.mcm.2008.05.005

zbMATH Keywords

securitymodeling and simulationtrust managementhuman behaviorservices oriented architectures

Mathematics Subject Classification ID

Mathematical psychology (91E99) Logic in artificial intelligence (68T27) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Towards a Formal Framework for Computational Trust
• Theory Is Forever
• A Framework for Incorporating Trust into Formal Systems Development
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• Information Security
• Trust Management

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• A LOGIC FOR UNCERTAIN PROBABILITIES

Cited in

(14)

• scientific article; zbMATH DE number 1950332 (Why is no real title available?)
• Information Security
• scientific article; zbMATH DE number 2089746 (Why is no real title available?)
• Trust Management
• Formal aspects in security and trust. IFIP TC1 WG1.7 workshop on formal aspects in security and trust (FAST), world computer congress, August 22--27, 2004, Toulouse, France.
• scientific article; zbMATH DE number 2088316 (Why is no real title available?)
• Trust Management
• Trust models in ubiquitous computing
• Analyzing the Chain of Trust Model Based on Entity Dependence
• A Formal Derivation of Composite Trust
• Towards designing application specific trust treated model
• A vector model of trust for developing trustworthy systems
• Towards an Integrated Formal Analysis for Security and Trust
• A Framework for Incorporating Trust into Formal Systems Development

Describes a project that uses

Uses Software

• Repast Suite

This page was built for publication: A formal apparatus for modeling trust in computing environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389890)