Browse College of Engineering by Author "Saboori, Anooshiravan"
Now showing items 1-2 of 2
Saboori, Anooshiravan; Hadjicostis, Christoforos N. (Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2008-03)Application of discrete event systems in modeling and analyzing security problems has given rise to applications that require keeping track of (part of the) sequence of states that have been visited so far. Specifically, ...
Saboori, Anooshiravan (2011-01-14)Motivated by security and privacy considerations in applications of discrete event systems, we describe and analyze the complexity of verifying various state-based notions of opacity in systems that are modeled as (possibly ...