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

human behaviormodeling and simulationsecurityservices oriented architecturestrust management

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mathematical psychology (91E99) 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

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

Cited in

(14)

• 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 2089746 (Why is no real title available?)
• Towards designing application specific trust treated model
• A Framework for Incorporating Trust into Formal Systems Development
• scientific article; zbMATH DE number 1950332 (Why is no real title available?)
• scientific article; zbMATH DE number 2088316 (Why is no real title available?)
• Towards an Integrated Formal Analysis for Security and Trust
• Trust Management
• Trust Management
• A Formal Derivation of Composite Trust
• Information Security
• Trust models in ubiquitous computing
• A vector model of trust for developing trustworthy systems
• Analyzing the Chain of Trust Model Based on Entity Dependence

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)