Author:
Habbachi Salwa,Ben Hafaiedh Imene,Li Zhiwu,Krichen Moez
Publisher
Springer Nature Switzerland
Reference20 articles.
1. Mazaré, L.: Using unification for opacity properties. In: Proceedings of the 4th IFIP WG1.7 Workshop Issues Theory Security (WITS 2004), Spain, vol. 7, pp. 165–176. (2004)
2. Bryans, J.W., Koutny, M., Mazaré, L., Ryan, P.Y.: Opacity generalised to transition systems. Int. J. Inform. Secur. 7(6), 421–435 (2008)
3. Bryans, J.W., Koutny, M., Ryan, P.Y.: Modelling opacity using Petri nets. Electron. Notes Theor. Comput. Sci. 121, 101–115 (2005)
4. Saboori, A., Hadjicostis, C.N.: Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE Conference Decision Control, pp. 5056–5061 (2007)
5. Saboori, A., Hadjicostis, C.N.: Verification of initial-state opacity in security applications of discrete event systems. Inf. Sci. 246, 115–132 (2013)