Meta data
- BibTeX key
- conf/sin/ChengZ11
- entry type
- inproceedings
- booktitle
- SIN
- year
- 2011
- pages
- 159-166
- publisher
- ACM
- crossref
- conf/sin/2011
- ee
- https://doi.org/10.1145/2070425.2070451
- isbn
- 978-1-4503-1020-8
- url
- http://dblp.uni-trier.de/db/conf/sin/sin2011.html#ChengZ11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}