Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Karsten Martiny"'
Publikováno v:
2021 IEEE Symposium on Visualization for Cyber Security (VizSec).
Publikováno v:
HCI for Cybersecurity, Privacy and Trust ISBN: 9783030773915
HCI (27)
HCI (27)
Enterprises, from medical to financial, commercial, and military commonly share many types of data with many partner enterprises to accomplish their goals. Enterprise data sharing comes with three challenges: First, it needs to be tailored and select
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffc15447894efcd65c8b28feeec62636
https://doi.org/10.1007/978-3-030-77392-2_13
https://doi.org/10.1007/978-3-030-77392-2_13
Autor:
Karsten Martiny, Grit Denker
Publikováno v:
ICSC
The ability to specify various policies with different overriding criteria allows for complex sets of sharing policies. This is particularly useful in situations in which data privacy depends on various properties of the data, and complex policies ar
Autor:
Karsten Martiny, Ralf Möller
Publikováno v:
KI - Künstliche Intelligenz. 31:63-71
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their finite temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through
Autor:
Karsten Martiny, Ralf Möller
Publikováno v:
Scopus-Elsevier
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their temporal evolution in multi-agent systems. This formalism enables the quantification of agents beliefs through probabi
Autor:
Karsten Martiny, Ralf Moeller
Publikováno v:
EPiC Series in Computing.
We present Probabilistic Doxastic Temporal (PDT) Logic for streams, a formalism to reason aboutprobabilistic beliefs and their infinite temporal evolution in multi-agent systems. Extending previouswork on PDT Logic, this formalism builds on a Markov
Autor:
Grit Denker, Karsten Martiny
Publikováno v:
MPS@CCS
This paper describes how a privacy policy framework can be extended with timing information to not only decide if requests for data are allowed at a given point in time, but also to decide for how long such permission is granted. Augmenting policy de
Publikováno v:
ICSC
This article describes a privacy policy framework that can represent and reason about complex privacy policies. By using a Common Data Model together with a formal shareability theory, this framework enables the specification of expressive policies i
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319197128
CISIS-ICEUTE
CISIS-ICEUTE
Critical information infrastructures have been exposed to an increasing number of cyber attacks in recent years. Current protection approaches consider the reaction to a threat from an operational perspective, but leave out human aspects of an attack
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b29b8a7de6a0125bf8cdf02ed38f74c6
https://doi.org/10.1007/978-3-319-19713-5_2
https://doi.org/10.1007/978-3-319-19713-5_2
Autor:
Ralf Möller, Karsten Martiny
Publikováno v:
AI 2015: Advances in Artificial Intelligence ISBN: 9783319263496
Australasian Conference on Artificial Intelligence
Australasian Conference on Artificial Intelligence
Probabilistic Doxastic Temporal (PDT) Logic is a formalism to represent and reason about belief evolutions in multi–agent systems. In this work we develop a theory of abduction for PDT Logic. This gives means to novel reasoning capabilities by dete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae10f80a5b4b4e0ac068f888e6df5052
https://doi.org/10.1007/978-3-319-26350-2_35
https://doi.org/10.1007/978-3-319-26350-2_35