.:. Consultation > Liste par auteurs > Huang .:.

5 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Component-based Security Policy Design with Colored Petri Nets Kirchner H., Huang H. Dans Semantics and Algebraic Specification 5700 (2009) 21-42 [inria-00433372 - version 1]

Policy Composition based on Petri Nets Huang H., Kirchner H. Dans 33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009 (2009) 416--421 [inria-00433398 - version 1]

Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets Huang H., Kirchner H. [inria-00396952 - version 1]

Modular Security Policy Design based on Extended Petri Nets Huang H., Kirchner H. [inria-00396924 - version 1]

Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems Huang H., Kirchner H., Liu S., Wu W. International Journal of Security and Networks 4, 4 (2007) 223-233 [inria-00433391 - version 1]