Hejiao Huang, Hélène Kirchner. Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. IEEE Trans. Dependable Sec. Comput., 8(6):852-865, 2011. [doi]
@article{HuangK11-9,
title = {Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets},
author = {Hejiao Huang and Hélène Kirchner},
year = {2011},
doi = {10.1109/TDSC.2010.43},
url = {http://doi.ieeecomputersociety.org/10.1109/TDSC.2010.43},
researchr = {https://researchr.org/publication/HuangK11-9},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Dependable Sec. Comput.},
volume = {8},
number = {6},
pages = {852-865},
}