%0 Conference Paper %1 conf/icfem/YinTWKT17 %A Yin, Yi %A Tateiwa, Yuichiro %A Wang, Yun %A Katayama, Yoshiaki %A Takahashi, Naohisa %B ICFEM %D 2017 %E Duan, Zhenhua %E Ong, Luke %I Springer %K dblp %P 447-463 %T Inconsistency Analysis of Time-Based Security Policy and Firewall Policy. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#YinTWKT17 %V 10610 %@ 978-3-319-68690-5

@inproceedings{conf/icfem/YinTWKT17, added-at = {2017-10-18T00:00:00.000+0200}, author = {Yin, Yi and Tateiwa, Yuichiro and Wang, Yun and Katayama, Yoshiaki and Takahashi, Naohisa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/257891ffdeaa84ec240d728f404079ebe/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2017}, editor = {Duan, Zhenhua and Ong, Luke}, ee = {https://doi.org/10.1007/978-3-319-68690-5_27}, interhash = {252a57b6ef8fc6dbb724a5878b7dbbdd}, intrahash = {57891ffdeaa84ec240d728f404079ebe}, isbn = {978-3-319-68690-5}, keywords = {dblp}, pages = {447-463}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:48:56.000+0200}, title = {Inconsistency Analysis of Time-Based Security Policy and Firewall Policy.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2017.html#YinTWKT17}, volume = 10610, year = 2017 }