By a News Reporter-Staff News Editor at Information Technology Newsweekly -- Data detailed on Information Technology have been presented. According to news reporting originating from Nicosia, Cyprus, by VerticalNews correspondents, research stated, "In this paper, we formulate and analyze methodologies for verifying the notion of initial-state opacity in discrete event systems that are modeled as non-deterministic finite automata with partial observation on their transitions. A system is initial-state opaque if the membership of its true initial state to a set of secret states remains opaque (i.e., uncertain) to an intruder who observes system activity through some projection map."
Our news editors obtained a quote from the research from the University of Cyprus, "Initial-state opacity can be used to characterize security requirements in a variety of applications, including tracking problems in sensor networks. In order to model and analyze the intruder capabilities regarding initial-state opacity, we first address the initial-state estimation problem in a non-deterministic finite automaton via the construction of an initial-state estimator. We analyze the properties and complexity of the initial-state estimator, and show how the complexity of the verification method can be greatly reduced in the special case when the set of secret states is invariant."
According to the news editors, the research concluded: "We also establish that the verification of initial-state opacity is a PSPACE-.complete problem."
For more information on this research see: Verification of initial-state opacity in security applications of discrete event systems. Information Sciences, 2013;246():115-132. Information Sciences can be contacted at: Elsevier Science Inc, 360 Park Ave South, New York, NY 10010-1710, USA. (Elsevier - www.elsevier.com; Information Sciences - www.elsevier.com/wps/product/cws_home/505730)
The news editors report that additional information may be obtained by contacting A. Saboori, University of Cyprus, Dept. of Elect & Comp Engn, CY-1678 Nicosia, Cyprus.
Keywords for this news article include: Cyprus, Europe, Nicosia, Information Technology
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2013, NewsRx LLC