%0 Conference Paper %1 conf/sin/ChengZ11 %A Cheng, Liang %A Zhang, Yang %B SIN %D 2011 %E Orgun, Mehmet A. %E Elçi, Atilla %E Makarevich, Oleg B. %E Huss, Sorin A. %E Pieprzyk, Josef %E Babenko, Lyudmila K. %E Chefranov, Alexander G. %E Shankaran, Rajan %I ACM %K dblp %P 159-166 %T Model checking security policy model using both UML static and dynamic diagrams. %U http://dblp.uni-trier.de/db/conf/sin/sin2011.html#ChengZ11 %@ 978-1-4503-1020-8

@inproceedings{conf/sin/ChengZ11, added-at = {2019-11-28T00:00:00.000+0100}, author = {Cheng, Liang and Zhang, Yang}, biburl = {https://www.bibsonomy.org/bibtex/25da2fd72cf3bd3e71b007a4592c46815/dblp}, booktitle = {SIN}, crossref = {conf/sin/2011}, editor = {Orgun, Mehmet A. and Elçi, Atilla and Makarevich, Oleg B. and Huss, Sorin A. and Pieprzyk, Josef and Babenko, Lyudmila K. and Chefranov, Alexander G. and Shankaran, Rajan}, ee = {https://doi.org/10.1145/2070425.2070451}, interhash = {24faedb0689e1024edf69543546e81ba}, intrahash = {5da2fd72cf3bd3e71b007a4592c46815}, isbn = {978-1-4503-1020-8}, keywords = {dblp}, pages = {159-166}, publisher = {ACM}, timestamp = {2019-11-29T11:59:02.000+0100}, title = {Model checking security policy model using both UML static and dynamic diagrams.}, url = {http://dblp.uni-trier.de/db/conf/sin/sin2011.html#ChengZ11}, year = 2011 }