Modelling dynamic opacity using petri nets with silent actions (2005)

Author(s): Bryans JW, Koutny M, Ryan PYA

      • Date: 26-27 August 2004
      • Conference Name: 2nd International Workshop on Formal Aspects in Security and Trust held at the 18th World Computer Congress
      • Volume: 173
      • Pages: 159-172
      • Publisher: Springer
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

        Keywords: opacity non-deducibility anonymity Petri nets observable behaviour silent actions


        Professor Maciej Koutny
        CS Director of Research

        Professor Peter Ryan