%0 Journal Article %1 journals/access/SunLZ18 %A Sun, Jianwen %A Long, Xiang %A Zhao, Yongwang %D 2018 %J IEEE Access %K dblp %P 16395-16407 %T A Verified Capability-Based Model for Information Flow Security With Dynamic Policies. %U http://dblp.uni-trier.de/db/journals/access/access6.html#SunLZ18 %V 6

@article{journals/access/SunLZ18, added-at = {2022-08-16T00:00:00.000+0200}, author = {Sun, Jianwen and Long, Xiang and Zhao, Yongwang}, biburl = {https://www.bibsonomy.org/bibtex/22db143d9eedb348163f72be192338381/dblp}, ee = {https://www.wikidata.org/entity/Q113436076}, interhash = {bc56c3680bab136d036a3ecaa2515e55}, intrahash = {2db143d9eedb348163f72be192338381}, journal = {IEEE Access}, keywords = {dblp}, pages = {16395-16407}, timestamp = {2024-04-08T13:52:35.000+0200}, title = {A Verified Capability-Based Model for Information Flow Security With Dynamic Policies.}, url = {http://dblp.uni-trier.de/db/journals/access/access6.html#SunLZ18}, volume = 6, year = 2018 }