不将类型序列化的情况下进行电子串行化打字
摘要：将静态类型信息分配给反序列化函数的方法及保留静态类型检查提供的执行安全性的反序列化数据验证技术。这种经过验证的技术依赖于单例类型，其值在运行时传递给反序列化例程，并且依赖于能够处理共享和循环的高效检查算法。
作者：Gr''egoire Henry (PPS), Michel Mauny (INRIA Rocquencourt, ENSTA-UMA), Emmanuel Chailloux (PPS)
论文ID：0705.1452
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23