2020年9月20日
《JFlow: Practical Mostly-Static Information Flow Control》
摘要： JFlow: 实用的多静态信息流控制 Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL '99) 摘要 保护敏感数据的隐私和完整性的一项有前途的技术是静态检查操作数据的程序内的信息流。 阅读全文
posted @ 2020-09-20 21:06 1993Fxn 阅读(210) 评论(0) 推荐(0) 编辑