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.
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
18 March 2020
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).
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
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
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
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