Zobrazeno 1 - 10
of 79
pro vyhledávání: '"A P, van der Meyden"'
The increasing wireless communication capabilities of vehicles creates opportunities for more efficient intersection management strategies. One promising approach is the replacement of traffic lights with a system wherein vehicles run protocols among
Externí odkaz:
http://arxiv.org/abs/2408.09499
Work on \emph{optimal} protocols for \emph{Eventual Byzantine Agreement} (EBA) -- protocols that, in a precise sense, decide as soon as possible in every run and guarantee that all nonfaulty agents decide on the same value -- has focused on emph{full
Externí odkaz:
http://arxiv.org/abs/2305.06271
Publikováno v:
EPTCS 251, 2017, pp. 306-323
While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, this has been due to the particular logics chosen. We present a simple lo
Externí odkaz:
http://arxiv.org/abs/1707.08750
The literature on information flow security with respect to transitive policies has been concentrated largely on the case of policies with two security domains, High and Low, because of a presumption that more general policies can be reduced to this
Externí odkaz:
http://arxiv.org/abs/1605.00474
Autor:
Huang, Xiaowei, van der Meyden, Ron
Publikováno v:
EPTCS 202, 2016, pp. 120-137
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what the agents know. They are a variant of the knowledge-based programs o
Externí odkaz:
http://arxiv.org/abs/1602.01176
Autor:
Eggert, Sebastian, van der Meyden, Ron
The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the notion of TA-security [van der Meyden ESORICS 2007] for static intrans
Externí odkaz:
http://arxiv.org/abs/1601.05187
Autor:
Kathrin Damm, Heidrun Lingner, Katharina Schmidt, Ines Aumann-Suslin, Heike Buhr-Schinner, Jochen van der Meyden, Konrad Schultz
Publikováno v:
Health Economics Review, Vol 11, Iss 1, Pp 1-12 (2021)
Abstract Introduction Pulmonary rehabilitation (PR) aims to improve disease control in patients with chronic obstructive pulmonary disease (COPD) and asthma. However, the success of PR-programs depends on the patients’ participation and willingness
Externí odkaz:
https://doaj.org/article/48ca48d762514909ac3d718fe1d1302c
Autor:
Huang, Xiaowei, van der Meyden, Ron
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strateg
Externí odkaz:
http://arxiv.org/abs/1409.2193
Autor:
Chong, Stephen, van der Meyden, Ron
We demonstrate, by a number of examples, that information-flow security properties can be proved from abstract architectural descriptions, that describe only the causal structure of a system and local properties of trusted components. We specify thes
Externí odkaz:
http://arxiv.org/abs/1409.0309
Autor:
Huang, Xiaowei, van der Meyden, Ron
Publikováno v:
EPTCS 146, 2014, pp. 35-41
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by other agents.
Externí odkaz:
http://arxiv.org/abs/1404.0838