摘要:
JFlow: 实用的多静态信息流控制 Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL '99) 摘要 保护敏感数据的隐私和完整性的一项有前途的技术是静态检查操作数据的程序内的信息流。 阅读全文
摘要:
轻量级访问控制总结 1、基于隐私标签 《Privacy Token: A Mechanism for User’s Privacy Specification in Identity Management Systems for the Cloud》 ICN 2017:The Sixteenth I 阅读全文
摘要:
HexType: Efficient Detection of Type Confusion Errors for C++ Hextype:c++类型混淆错误的快速检测,论文选自CCS'17 1、引言 C非常适合大型软件项目,因为它将高级模块化和抽象与低级内存访问和性能相结合,但它运行时的效率和对C 阅读全文