贝叶斯程序分析

程序分析在软件开发和维护中发挥着关键作用.然而,传统基于逻辑的程序分析方法在处理现代复杂、大规模和动态特性丰富的软件系统时往往效果有限,其根源在于软件系统中的不确定性.研究人员针对具体的程序分析问题提出了一系列新的技术,其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定性.通过总结和抽象这些已有工作,本文提出了贝叶斯程序分析框架,其核心思想是结合程序分析和贝叶斯统计推断,通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处理概率信息和逻辑信息,用统一的方式捕获了现有的多项不同工作,也能泛化到程序缺陷定位和差异调试等非传统程序静态分析任务上.本文给出了贝叶斯程序分析框架的定义,展示了该框架在程序分析和相关领域的应用,并展望了未来发展方向.

理性与疯狂的谜面——关于奥康纳《家的慰藉》的讨论

主持人陈晓明:北京大学中文系教授、教育部长江学者主题报告吴宜谦、张咏宸:北京大学中文系博士参加者:彭超、郭丽、丛治辰、李辰韵、孟德才、叶赛、沈秀英、何瑛、孙海燕、蔡郁婉、龚志强等北京大学中文系博士时间:2014年4月10日地点:北京大学文史楼110陈晓明:《家的慰藉》一篇主要想用当中"家"的概念来分析作品。弗兰纳·奥康纳是二战之后美国南方重要的作家。

PGP信任模型及改进

讨论PGP加密软件包工作原理,分析PGP信任模型及其存在的缺陷,给出了PGP信任模型的改进策略与实现步骤,提高了PGP信任模型的安全性。

OpenPGP协议在JavaMail中的研究与实现

研究了OpenPGP协议的加密原理及其使用算法,提出一种基于OpenPGP协议的JavaMail客户端的设计方法,弥补了JavaMail安全性上的一些缺陷.试验结果表明:在JavaMail中加入OpenPGP协议可有效地提高E-mail的保密性.