In this paper, we focus on the problem of key distribution that permits local broadcast authentication. We focus on four types of graphs (1) star graphs, (2) bipartite graphs, (3) planer graphs and (4) fully connected graphs. For star graphs, we show that as n, the number of satellite nodes in the star network, tends to ∞, it suffices to maintain log n + 1/2 log log n + 1 secrets at the center ...

One of the most interesting research topics in cryptography is finding schemes for an efficient fully-homomorphic encryption (FHE), preferably information-theoretically secure schemes, which are not based on unproven computational hardness assumptions. The greatest breakthrough in the field of FHE schemes was made by Gentry [7] in 2009, and since then there were some interesting developments, e...

A core property of program semantics is that local reasoning about program fragments remains sound even when the fragments are executed within a larger system. Mathematically this property corresponds to monotonicity of refinement : if A refines B then C(A) refines C(B) for any (valid) context defined by C(·). In other work we have studied a refines order for information flow in programs where ...

A vendor has several secrets which he regards as of equal worth and importance. He is willing to sell any of these secrets to a buyer. The bargain is said to be secure when the following two conditions are satisfied: 1) the buyer can only obtain one secret if he pays for only one secret, and 2) the vendor will not be able to find out which secret the buyer picked. This cryptographic problem is ...

This paper corrects Proposition 1 in Acemoglu and Robinson (2000). It shows that in addition to parts of the parameter space where the unique MPE is franchise extension and temporary redistribution, there is an intermediate part of the parameter space where the unique MPE is in mixed strategies. In this region, there is a positive probability of franchise extension, but also a revolution takes ...

Reversing arrows in the classic tri-variate X-M-Y mediation models as a test to check whether one mediation model is superior to another is inadmissible. Presenting evidence that one trivariate mediation model yields a significant indirect effect, whereas one with some reversed arrows does not, is not proof or even evidence that one model should be preferred. In fact, the significance of the in...

We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eavesdroppers and careless users. Given an ideal (tamper-proof) trusted platform, the protocol can even withstand attacks by dishonest users. As an example of its use, we present an application to secure document processing.

The article is dedicated to the study of legal and illegal acquisition, use disclosure trade secrets business, in context application security conditions. It established that a comprehensive analysis provisions Directive legislation Ukraine on protection indicates relevance clarifying certain issues businesses Ukraine, which as consequence will ensure high level conceptual categorical apparatus...

Keeping and telling secrets are acts of intimacy. This article explores secret-telling-friendly methodologies, capable encouraging individuals to share their life stories in own terms, with particular episodes, emotional connections, protagonists, also secrets. The openness our research design played an important part the identification role secret-storytelling understanding life. was enhanced ...