Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A system is said to be language opaque if the intruder cannot infer if the generated event sequence belongs to a secret based on its partial observation.   address the problem of verifying language-based opacity in systems modeled by bounded labeled Petri nets.  generalize the notion of language opacity to strict language opacity to deal with the case where the intruder is only interested in a subset of transitions. Furthermore,  show that strict language opacity is identical to language opacity for a special class of secrets. A verifier is constructed to analyze strict language opacity under the assumption that the intruder only cares about observable transitions.
['Yin Tong', 'Ziyue Ma', 'Zhiwu Li', 'Carla Seactzu', 'Alessandro Giua']
I am writing a research paper on a idea Verification of language-based opacity in Petri nets using verifier
[{"from": "human", "value": "I am writing a research paper on a idea Verification of language-based opacity in Petri nets using verifier"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: A system is said to be language opaque if the intruder cannot infer if the generated event sequence belongs to a secret based on its partial observation.   address the problem of verifying language-based opacity in systems modeled by bounded labeled Petri nets.  generalize the notion of language opacity to strict language opacity to deal with the case where the intruder is only interested in a subset of transitions. Furthermore,  show that strict language opacity is identical to language opacity for a special class of secrets. A verifier is constructed to analyze strict language opacity under the assumption that the intruder only cares about observable transitions."}]