%0 Conference Paper %1 conf/apsec/SunXLYM14 %A Sun, Cong %A Xi, Ning %A Li, Jinku %A Yao, Qingsong %A Ma, Jianfeng %B APSEC (1) %D 2014 %E Cha, Sungdeok (Steve) %E Guéhéneuc, Yann-Gaël %E Kwon, Gihwon %I IEEE Computer Society %K dblp %P 359-366 %T Verifying Secure Interface Composition for Component-Based System Designs. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#SunXLYM14 %@ 978-1-4799-7425-2

@inproceedings{conf/apsec/SunXLYM14, added-at = {2019-05-13T00:00:00.000+0200}, author = {Sun, Cong and Xi, Ning and Li, Jinku and Yao, Qingsong and Ma, Jianfeng}, biburl = {https://www.bibsonomy.org/bibtex/23b40b643a3d7d35acee8766ad28a7b97/dblp}, booktitle = {APSEC (1)}, crossref = {conf/apsec/2014-1}, editor = {Cha, Sungdeok (Steve) and Guéhéneuc, Yann-Gaël and Kwon, Gihwon}, ee = {https://doi.org/10.1109/APSEC.2014.60}, interhash = {af1f4bf5ff97e65191a609c5e8567932}, intrahash = {3b40b643a3d7d35acee8766ad28a7b97}, isbn = {978-1-4799-7425-2}, keywords = {dblp}, pages = {359-366}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T15:53:06.000+0200}, title = {Verifying Secure Interface Composition for Component-Based System Designs.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#SunXLYM14}, year = 2014 }