用进程代数描述COM接口调用

用π演算模型来表现COM接口调用，在服务器是进程内或进程外组件的情况下，统一对COM接口调用中的重要部件（如客户、代理管理器、接口代理、存根管理器、接口存根、组件对象等），用π演算进程给出了形式化的刻画，从而从总体上描述了COM接口调用的一系列流程，并通过此模型，清晰地表现出COM接口调用的进程透明特性，也进一步体现了演算对于描述进程通信及并行性的独特优势。

网银木马剖析及防范

近年来，随着我国银行卡产业和互联网技术的蓬勃发展，网上银行（以下简称“网银”）作为一种新型的客户服务方式迅速成为银行界关注的焦点，并以其方便、快捷的特点吸引了大量用户。然而，网银业务在为用户带来极大便利的同时，其存在的安全问题也日益突出，各类网银相关风险事件呈爆发性增长趋势。统计表明，目前绝大部分网银案件均涉及账户盗用，