3124135
Perfectly Secure Message Transmission Revisited
Secure communications guaranteeing reliability and privacy (without unproven assumptions) in networks with active adversaries has been an important research issue. It has been studied for point to point networks by Dolev-Dwork-Waarts-Yung (J. ACM 1993), Desmedt-Wang (Eurocrypt 2002), and Srinathan-Narayanan-Rangan (Crypto 2004). Dolev-Dwork-Waarts-Yung gave necessary and sufficient conditions for secure communication in networks with the condition that (1) all the channels are two-way; or (2) all the channels are one-way from the sender to the receiver. In this paper, we study the general case with a network modeled by a directed graph. In this general case, there are communication channels from the sender to the receiver and there are feedback channels from the receiver to the sender. We give necessary and sufficient bounds on the number of channels that are required from sender to receiver given a number of ldquofeedbackrdquo channels from receiver to sender. We give these bounds for the case reliability is perfect, as well as for the case it is not perfect.
8204880
Privacy aware data generation for testing database applications
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper, we investigate the problem of generating a synthetic database based on a-priori knowledge about a production database. Our approach is to fit general location model using various characteristics (e.g., constraints, statistics, rules) extracted from the production database and then generate the synthetic data using model learnt. The generated data is valid and similar to real data in terms of statistical distribution, hence it can be used for functional and performance testing. As characteristics extracted may contain information which may be used by attacker to derive some confidential information about individuals, we present our disclosure analysis method which applies cell suppression technique for identity disclosure analysis and perturbation for value disclosure.
8968053
Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness
We introduce balanced t(n)-genericity which is a refinement of the genericity concept of Ambos-Spies, Fleischhack and Huwig [2] and which in addition controls the frequency with which a condition is met. We show that this concept coincides with the resource-bounded version of Church's stochasticity [6]. By uniformly describing these concepts and weaker notions of stochasticity introduced by Wilber [19] and Ko [11] in terms of prediction functions, we clarify the relations among these resource-bounded stochasticity concepts. Moreover, we give descriptions of these concepts in the framework of Lutz's resource-bounded measure theory [13] based on martingales: We show that t(n)-stochasticity coincides with a weak notion of t(n)-randomness based on so-called simple martingales but that it is strictly weaker than t(n)-randomness in the sense of Lutz.
8247434
NP-Hard Sets are Superterse Unless NP is Small
Abstract We show that the class P- mc ( n ) of polynomial time n -membership comparable sets (defined by Ogihara, 1995) has p -measure 0. Using this result, we will show that the class of sets which are ⩽ tt P -reducible to some P-selective set has p -measure 0. Furthermore, we will show that if NP does not have p -measure 0 then no ⩽ tt p -hard set for NP is P-approximable.
5782664
A Separation of Two Randomness Concepts
In this paper we give an affirmative answer to a conjecture by Lutz (1992). That is, we will show that there is a Schnorr random sequence which is not rec-random.
5215725
Linear Complexity versus Pseudorandomness: On Beth and Dai's Result
Beth and Dai studied in their Eurocrypt paper [1] the relationship between linear complexity (that is, the length of the shortest Linear Feedback Shift Register that generates the given strings) of strings and the Kolmogorov complexity of strings. Though their results are correct, some of their proofs are incorrect. In this note, we demonstrate with a counterexample the reason why their proofs are incorrect and we prove a stronger result. We conclude our note with some comments on the use of the LIL test (the law of the iterated logarithm) for pseudorandom bits generated by pseudorandom generators.
1564877
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks
The topology of a wireless multi-hop network can be controlled by varying the transmission power at each node. In this paper, we give a detailed analysis of a cone-based distributed topology control algorithm. This algorithm, introduced in [16], does not assume that nodes have GPS information available; rather it depends only on directional information. Roughly speaking, the basic idea of the algorithm is that a node <i>u</i> transmits with the minimum power <i>p<subscrpt>u, α</subscrpt></i> required to ensure that in every cone of degree α around <i>u</i>, there is some node that <i>u</i> can reach with power <i>p<subscrpt>u, α</subscrpt></i>. We show that taking α = 5π/6 is a necessary and sufficient condition to guarantee that network connectivity is preserved. More precisely, if there is a path from <i>s</i> to <i>t</i> when every node communicates at maximum power then, if α ⪇ 5π/6, there is still a path in the smallest symmetric graph <i>G</i><subscrpt>α</subscrpt> containing all edges (<i>u, v</i>) such that <i>u</i> can communicate with <i>v</i> using power <i>p<subscrpt>u, α</subscrpt></i>. On the other hand, if α > 5π/6, connectivity is not necessarily preserved. We also propose a set of optimizations that further reduce power consumption and prove that they retain network connectivity. Dynamic reconfiguration in the presence of failures and mobility is also discussed. Simulation results are presented to demonstrate the effectiveness of the algorithm and the optimizations.
299693
Geometry-based semantic ID for persistent and interoperable reference in feature-based parametric modeling
In current feature-based parametric design systems, the reusability principle is not fully supported as it was expected. Unpredictability and ambiguity of models often happen during design modification within one system as well as among different systems. This reference deficiency significantly reduces the power of feature-based parametric modeling, where geometry re-evaluation generates unexpected shapes. In this paper, a sufficient condition of B-Rep variance based on geometry continuity in parametric complex Euclidean (P^pC^3) space is proposed. Shape and relation parameters are differentiated in P^pC^3, thus parametric family can be defined. A semantic id scheme based on continuity of geometry is developed to solve the problem of naming persistency and to improve interoperability of CAD feature modeling. Hierarchical namespaces localize entity creation and identification. All geometric and topological entities are referred uniformly based on surface ids, and topology semantics is retained in id itself.
2521415
Brain Surface Conformal Parameterization
We develop a general approach that uses holomorphic 1forms to parameterize anatomical surfaces with complex (possibly branching) topology. Rather than evolve the surface geometry to a plane or sphere, we instead use the fact that all orientable surfaces are Riemann surfaces and admit conformal structures, which induce special curvilinear coordinate systems on the surfaces. We can then automatically partition the surface using a critical graph that connects zero points in the conformal structure on the surface. The trajectories of iso-parametric curves canonically partition a surface into patches. Each of these patches is either a topological disk or a cylinder and can be conformally mapped to a parallelogram by integrating a holomorphic 1-form defined on the surface. The resulting surface subdivision and the parameterizations of the components are intrinsic and stable. To illustrate the technique, we computed conformal structures for several types of anatomical surfaces in MRI scans of the brain, including the cortex, hippocampus, and lateral ventricles. We found that the resulting parameterizations were consistent across subjects, even for branching structures such as the ventricles, which are otherwise difficult to parameterize. Compared with other variational approaches based on surface inflation, our technique works on surfaces with arbitrary complexity while guaranteeing minimal distortion in the parameterization. It also generates grids on surfaces for PDE-based signal processing.
903722
Mobile telemedicine sensor networks with low-energy data query and network lifetime considerations
In this paper, we use an integrated architecture that takes advantage of the low cost mobile sensor networks and 3G cellular networks to accommodate multimedia medical calls with differentiated Quality-of-Service (QoS) requirements. We propose a low-energy, distributed, and concentric-zone-based data query mechanism that takes advantages of hierarchical ad hoc routing algorithms to enable a medical specialist to collect physiological data from mobile and/or remote patients. The medical specialist uses cellular network to report patients' data to the medical center. Moreover, we propose a transmission scheme among different zones with balance-based energy efficiency, which can extend network lifetime. We evaluate the validity of our proposals through simulations and analyze their performance. Our results clearly indicate the energy efficiency of the proposed sensor network query algorithms and the efficiency of our multiclass medical call admission control scheme in terms of meeting the multimedia telemedicine QoS requirements.
15897925
Error exponents for channel coding with side information
Capacity formulas and random-coding and sphere-packing exponents are derived for a generalized family of Gel'fand-Pinsker coding problems. Information is to be reliably transmitted through a noisy channel with random state sequence. Partial information about the state sequence is available to the encoder and decoder. Two families of channels are considered: (1) compound discrete memoryless channels (C-DMC); and (2) channels with arbitrary memory, subject to an additive cost constraint, or more generally to a constraint on the conditional type of the channel output given the input. Both problems are closely connected. For the C-DMC case, our random-coding and sphere-packing exponents coincide at high rates, thereby determining the reliability function of the channel family. The random-coding exponent is achieved using a 3D binning scheme and a maximum penalized mutual information decoder. In the case of arbitrary channels, with memory, a larger random-coding error exponent than in the C-DMC case is obtained. Applications of this study include watermarking, data hiding, communication in presence of partially known interferers, and problems such as broadcast channels, all of which involve the fundamental idea of binning.