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

DOI10.1093/LOGCOM/EXV030MaRDI QIDQ4612422zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

trustutilitylogicresource semanticsagentscombinators

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Computer-aided decision-making with trust relations and trust domains (cryptographic applications)
• scientific article; zbMATH DE number 1954189 (Why is no real title available?)
• Trust in the λ-calculus
• Design and verification of trusted collective adaptive systems
• scientific article; zbMATH DE number 2084518 (Why is no real title available?)
• scientific article; zbMATH DE number 1954129 (Why is no real title available?)

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)