Formal Reasoning About Trusted Third Party Protocols

Aaron Hunter

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Formal Reasoning About Trusted Third Party Protocols

Topics: Intelligence and Cybersecurity; Knowledge Representation and Reasoning

In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 926-932, 2025 , Porto, Portugal

Author: Aaron Hunter

Affiliation: BC Institute of Technology, 3700 Willingdon Avenue, Burnaby, Canada

Keyword(s): Trust, Belief Revision, Formal Verification.

Abstract: A trusted third party (TTP) is an entity that facilitates communication between agents by acting as an intermediary. Typical roles for a trusted third party include the establishment of session keys or the validation of commitment schemes. In a formal setting, this requires a model that provides some mechanism for representing trust and reasoning about dynamic beliefs. In this paper, we demonstrate how this can be captured using a combined modal logic of trust and belief. Our formalism uses plausibility models and model transformations to capture belief revision in a protocol run. It is novel in that it uses the modal accessibility relations in the logic to define a notion of trust, without requiring any additional formal machinery. We define the formal semantics of the logic, sketch the axiomatization, and demonstrate the basic verification methodology. Challenges are discussed, as well as issues related to practical deployment.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 216.73.216.153

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Hunter, A. (2025). Formal Reasoning About Trusted Third Party Protocols. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART; ISBN 978-989-758-737-5; ISSN 2184-433X, SciTePress, pages 926-932. DOI: 10.5220/0013237600003890

@conference{icaart25,
author={Aaron Hunter},
title={Formal Reasoning About Trusted Third Party Protocols},
booktitle={Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART},
year={2025},
pages={926-932},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013237600003890},
isbn={978-989-758-737-5},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART
TI - Formal Reasoning About Trusted Third Party Protocols
SN - 978-989-758-737-5
IS - 2184-433X
AU - Hunter, A.
PY - 2025
SP - 926
EP - 932
DO - 10.5220/0013237600003890
PB - SciTePress