Chunhan Wu

Filter

2013
A formal model and correctness proof for an access control policy framework
Wu, C., Zhang, X. & Urban, C., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8307 . p. 292-307 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8307 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2 Citations (Scopus)

Research output