The University of Southampton
University of Southampton Institutional Repository

Time-stamped claim logic

Time-stamped claim logic
Time-stamped claim logic
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are consid- ered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study.
1367-0751
Rasga, João
da85e689-e534-4c87-bab8-785c5b2eefe3
Sernadas, Cristina
c76cf71f-a66f-43c9-824e-cdcbdaf285b7
Karafili, Erisa
f5efa31c-22b8-443e-8107-e488bd28918e
Viganò, Luca
2d073750-e255-4946-93b0-984d67639e78
Rasga, João
da85e689-e534-4c87-bab8-785c5b2eefe3
Sernadas, Cristina
c76cf71f-a66f-43c9-824e-cdcbdaf285b7
Karafili, Erisa
f5efa31c-22b8-443e-8107-e488bd28918e
Viganò, Luca
2d073750-e255-4946-93b0-984d67639e78

Rasga, João, Sernadas, Cristina, Karafili, Erisa and Viganò, Luca (2020) Time-stamped claim logic. Journal of IGPL, (1367-0751). (doi:10.1093/jigpal/jzaa001).

Record type: Article

Abstract

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical applications, in particular when one needs to reason about a huge amount of pieces of evidence collected from different sources, where some of the pieces of evidence may be contradictory and some sources are consid- ered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study.

Text
evl02 - Accepted Manuscript
Download (374kB)

More information

Accepted/In Press date: 6 January 2020
Published date: 18 March 2020

Identifiers

Local EPrints ID: 438986
URI: http://eprints.soton.ac.uk/id/eprint/438986
ISSN: 1367-0751
PURE UUID: 94ff181e-7c27-4396-be32-ab5219714166
ORCID for Erisa Karafili: ORCID iD orcid.org/0000-0002-8250-4389

Catalogue record

Date deposited: 31 Mar 2020 16:30
Last modified: 17 Mar 2024 05:26

Export record

Altmetrics

Contributors

Author: João Rasga
Author: Cristina Sernadas
Author: Erisa Karafili ORCID iD
Author: Luca Viganò

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×