%0 Journal Article %1 journals/jcs/XuCTLS21 %A Xu, Zhiwu %A Chen, Hongxu %A Tiu, Alwen %A Liu, Yang %A Sareen, Kunal %D 2021 %J J. Comput. Secur. %K dblp %N 2 %P 161-228 %T A permission-dependent type system for secure information flow analysis. %U http://dblp.uni-trier.de/db/journals/jcs/jcs29.html#XuCTLS21 %V 29

@article{journals/jcs/XuCTLS21, added-at = {2023-11-24T00:00:00.000+0100}, author = {Xu, Zhiwu and Chen, Hongxu and Tiu, Alwen and Liu, Yang and Sareen, Kunal}, biburl = {https://www.bibsonomy.org/bibtex/22604114a7f5435d97ec9fb53a58281c1/dblp}, ee = {https://www.wikidata.org/entity/Q114944364}, interhash = {1ee16c8578cd6cc95733f32df57855c8}, intrahash = {2604114a7f5435d97ec9fb53a58281c1}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 2, pages = {161-228}, timestamp = {2024-04-09T05:17:44.000+0200}, title = {A permission-dependent type system for secure information flow analysis.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs29.html#XuCTLS21}, volume = 29, year = 2021 }