程序信息流安全相关论文
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全．鉴于分布式移动计算系统中进程之间的通讯......
