Secure interoperation design in multi-domains environments based on colored Petri nets

Hejiao Huang, Hélène Kirchner. Secure interoperation design in multi-domains environments based on colored Petri nets. Inf. Sci., 221:591-606, 2013. [doi]

Abstract

Abstract is missing.