Trust domains in system models: algebra, logic, utility, and combinators

DOI10.1093/LOGCOM/EXV030zbMATH Open1448.68439OpenAlexW2278701577MaRDI QIDQ4612422FDOQ4612422

Authors: Gabrielle Anderson, David Pym 

Publication date: 31 January 2019

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/94e9d95d1d1bc83c8ab8ed144965dc5f999530ef

Recommendations

• scientific article; zbMATH DE number 1954129
• From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• Trust Management
• scientific article; zbMATH DE number 2084518

zbMATH Keywords

trustutilitylogicresource semanticsagentscombinators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Cited In (6)

• Design and verification of trusted collective adaptive systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
• Title not available (Why is that?)
• Trust in the λ-calculus

This page was built for publication: Trust domains in system models: algebra, logic, utility, and combinators

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