[PDF] Top 20 Information Hiding in Probabilistic Concurrent Systems (journal version)

... • We illustrate the problem with full-information schedulers in security, our solution providing admissible schedulers, and the application of our proving technique by means of the well [r] ... Voir le document complet

... protection in the context of statisti- cal databases, differential privacy is now widely adopted in various models of ...computation. In this paper we investigate techniques for proving differential ... Voir le document complet

... with probabilistic phenomena arises in many fields in Computer ...formalizing probabilistic properties. The formal treatment of probabilistic phenomena is particularly difficult ... Voir le document complet

... utility In this se tion we show that,in some spe ial ases, the fa t that K provides ǫ -dierential priva y indu es a bound on the utility as dened in terms of a binary gain fun ..., in su h a ... Voir le document complet

... probabilistic systems. A natural way of modelling partially observable systems consists in introducing probabilities ...called probabilistic labelled transition systems (pLTS) ... Voir le document complet

... consists in, given a model of a system, verifying if it satisfies a property, often given by a logical ...interested in branching ...here. In LTL, one can encode formulae about the future of a run, ... Voir le document complet

... event systems was introduced in [SSL + 95], and can be described as follows: a labeled transition system performs a run, which may contain some specific events called ...gets information about the ... Voir le document complet

... Several approaches use [11] to encode and analyze execution traces. [2] determines potential causes for the first violation of an LTL formula by a trace. As [11] only considers a propositional setting without any ... Voir le document complet

... define in the sequel will have two important properties: soundness and ...the information provided is accurate and reactivity specifies which pieces of information the diagnoser must ...verdict ... Voir le document complet

... step in the connection between informa- tion flow models and Shannon information theory, by establishing a formal analogy between noninterference and mutual ...]. In his approach, the random variable ... Voir le document complet

... result. In its most general formulation, the DC consists of a multigraph where one of the nodes (cryptographers) may be secretly designated to pay for the ...a probabilistic coin, with two possible, ... Voir le document complet

... Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex France Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - [r] ... Voir le document complet

... objective information, we adapt two further axioms from GHTV to our dynamic setting, namely Reduction (under precise information) and Local ...resolved in the next period and if one act is preferable ... Voir le document complet

... Finally, in the behavioural perspective, the attempt is to identify the interesting events that occur in the real world, the information affected by their occurrence and the functions that cause this ... Voir le document complet

... variables in that the former results into spatial objects ...directly in PRMs because of acyclicity constraint [16], we present our idea of modeling spatial autocorrelation by introducing (or deriving) ... Voir le document complet

... B. Related work There exists a large body of literature[5], [4], [8], [12], [4], [6], [7] on probabilistic aspects of neural coding. Most authors explicitly assume that neural population activity is related to ... Voir le document complet

... DRAFT February 1979 26 Sequences and Serializers The above definition shows how serializers subsume the ability of cells to efficiently implement synchronization and s[r] ... Voir le document complet

... of information depends on the query and cannot be actually considered as ...position in the document and its path ...appear in the beginning of the document and are not likely to be nested in ... Voir le document complet

... changes in brain re- sponses associated with recollection were linearly related to the changes in SOP during Q1 from baseline to test night in the right mPFC and left parahippocampal gyrus (PHG) ... Voir le document complet

... Keywords-avionic information system; dependability; secu- rity; execution model; virtualization; ...NTRODUCTION In avionics, each software component has its own level of ...developed in accordance ... Voir le document complet