程序信息流安全相关论文
程序信息流安全是信息安全的一个重要研览方向．基于类型的分析虽然是检查程序信息流安全的一种有效方法，但过于保守．本文尝试将传统的......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全．鉴于分布式移动计算系统中进程之间的通讯......
