%0 Journal Article %1 journals/tdsc/HuangK11 %A Huang, Hejiao %A Kirchner, Hélène %D 2011 %J IEEE Trans. Dependable Secur. Comput. %K dblp %N 6 %P 852-865 %T Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. %U http://dblp.uni-trier.de/db/journals/tdsc/tdsc8.html#HuangK11 %V 8

@article{journals/tdsc/HuangK11, added-at = {2020-04-09T00:00:00.000+0200}, author = {Huang, Hejiao and Kirchner, Hélène}, biburl = {https://www.bibsonomy.org/bibtex/27babee64a23ba3977df8eca03d341f72/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TDSC.2010.43}, interhash = {071eeb74c3474f5aad4add04a73811b4}, intrahash = {7babee64a23ba3977df8eca03d341f72}, journal = {IEEE Trans. Dependable Secur. Comput.}, keywords = {dblp}, number = 6, pages = {852-865}, timestamp = {2020-04-10T11:55:52.000+0200}, title = {Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tdsc/tdsc8.html#HuangK11}, volume = 8, year = 2011 }