Search Results for author:
Found 5 papers, 0 papers with code
An Epistemic Foundation for Authentication Logics (Extended Abstract)
We present a simple logic based on the well-understood modal operators of knowledge, time, and probability, and show that it is able to handle issues that have often been swept under the rug by other approaches, while being flexible enough to capture all the higher- level security notions that appear in BAN logic.
A Logic for Reasoning about Upper Probabilities
We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event.
Evidence with Uncertain Likelihoods
An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments.
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation).
