Browsing by Subject "Labeled finite automatons"

Now showing items 1-1 of 1

    • Conference Object  

      Resolution of initial-state in security applications of des 

      Hadjicostis, Christoforos N. (2012)
      A non-deterministic labeled finite automaton is initial-state opaque if the membership of its true initial state to a set of secret states S remains opaque (i.e., uncertain) to an intruder who observes system activity ...