北京市自然科学基金(4122007)
- 作品数：4 被引量：10H指数：2
- 相关作者：王丹付利华赵文兵武毅蒋宗礼更多>>
- 相关机构：北京工业大学更多>>
- 发文基金：北京市自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术交通运输工程机械工程更多>>
- 软件实体中预期协作路径的获取方法
- 2012年
- 为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预期协作路径集,并以可扩展标记语言方式对其进行存储。应用结果表明,该方法能支持软件实体预期协作路径的获取,为可信软件研究中软件预期行为获取方法提供有益补充。
- 常建生王丹赵文兵
- 关键词：PI演算可扩展标记语言
- 基于事务型K-Anonymity的动态集值属性数据重发布隐私保护方法被引量：7
- 2013年
- 研究了动态集值属性数据重发布中的隐私保护问题.真实的数据随时间的推移因插入、删除、修改等操作而产生动态变化.更新后数据的重发布将面临攻击者使用历史发布结果对敏感信息揭露的风险.提出了一种面向动态集值属性数据重发布的隐私保护模型,延续使用事务型k-anonymity原则保护记录间的不可区分性,并通过维持记录中敏感元素在更新过程中的多样性和连续性阻止其被揭露.结合局部重编码泛化和隐匿技术降低数据匿名产生的信息损失,进而提出了完整的重发布算法.通过在真实数据集上进行的实验和比较,研究结果表明提出的方法能有效阻止敏感信息的泄露,并降低发布结果的信息损失.
- 武毅王丹蒋宗礼
- 关键词：隐私保护
- 基于程序切片的软件交互行为可信性分析模型被引量：1
- 2013年
- 为研究面向交互行为的软件行为可信性分析和动态度量问题,从软件与外界数据交换时所产生的信息流动过程中,确定并提取依赖于输入数据的语句和变量的集合,作为软件交互行为的预期模型.在软件实际运行过程中,通过动态获取软件的实际行为,与分析软件源代码得到的软件预期行为作比较,形成可信性的动态度量结果.采用程序切片技术,将软件交互过程及交互中被赋值变量及后续赋值行为作为切片分析的结果.在此基础上,继续从源代码的抽象语法树和编译后的可执行程序中提取赋值行为本身和被赋值的变量的详细信息,然后将这些信息与切片分析结果相结合,形成以交互行为为关注点的软件行为描述模型.对模型进行了测试,结果表明:该模型能识别出软件运行中的非预期行为.
- 王丹孙浩扬王进付利华
- 基于变量间依赖关系的软件可信度量模型被引量：2
- 2013年
- 针对软件交互行为的动态可信度量问题,提出一种基于变量间依赖关系的动态度量模型.从输入数据对软件可信性的影响入手,利用程序静态分析和切片技术提取出关于输入信息的前向切片以及切片中各语句可赋值的变量集合,并以切片集合中的语句作为度量对象,以该语句可赋值的变量集合作为软件在该度量点处的行为预期模型.在程序动态运行过程中动态监视软件在度量点处的实际行为是否符合预期,实现可信动态度量.相应的试验结果表明,模型实现了设计目标.
- 王丹卢彦赵文兵付利华
- 关键词：应用程序
