DeepAI AI Chat
Log In Sign Up

Time-Stamped Claim Logic

07/15/2019
by   João Rasga, et al.
University of Lisbon
King's College London
Imperial College London
0

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 considered to be more trustworthy than others. We introduce the Time-Stamped Claim Logic including a sound and complete sequent calculus that allows one to reduce the size of the collected set of evidence and removes inconsistencies, i.e., the logic ensures that the result is consistent with respect to the trust relations considered. In order to show how Time-Stamped Claim Logic can be used in practice, we consider a concrete cyber-attribution case study.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/26/2018

A Formal Approach to Analyzing Cyber-Forensics Evidence

The frequency and harmfulness of cyber-attacks are increasing every day,...
07/27/2014

A Logic for Reasoning about Evidence

We introduce a logic for reasoning about evidence, that essentially view...
10/30/2020

Isabelle/HOL as a Meta-Language for Teaching Logic

Proof assistants are important tools for teaching logic. We support this...
10/08/2019

Understanding the Expressive Power of Unhygienic Substitution in Metaprogramming via Combinatory Logic

Recent work on combinatory logic demonstrates a compositional translatio...
08/24/2021

On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms

Felty and Miller have described what they claim to be a faithful encodin...
04/27/2014

An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare

Attributing a cyber-operation through the use of multiple pieces of tech...
11/24/2018

Answers to Imamura Note on the Definition of Neutrosophic Logic

In order to more accurately situate and fit the neutrosophic logic into ...