计算机网络考试系统

无纸化考试是今后考试改革的方向。基于实践,本文介绍了一个功能较完善的计算机考试系统,并详细探讨了其实现方案。     

网络安全认证协议形式化分析

形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入侵者假定使用算法来计算其知识,入侵者的能力也通过对其所使用的算法作适当的限制来获得。运用模型检测器SPIN对TMN协议进行分析,实验结果证明了此方法的有效性,可方便地用于其他网络安全协议验证。     

基于AVS技术IPTV的实现

介绍宽带网络数字电视IPTV的实现方法,探讨了如何利用AVS音视频编码压缩技术使编码的视频流能够有效地适应网络带宽的波动,从而保证宽带网能传输高质量音视频信号.     

基于MSF的企业资源管理软件开发

运用何种解决方案架构、采用什么开发模式、建立怎样的开发模型是解决企业资源管理软件开发难题的关键。本文以一个中小型企业的资源管理软件的实际开发过程讨论如何解决这方面的问题,本次开发主要运用的是微软解决方案框架MSF和构件设计的一些原理,并且使用了当前比较流行的一些开发模式和软件工程技术,如MVC结构,制定解决方案等。     

基于迹语义的网络安全协议形式化分析

形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约.运用此技术和模型检测器SPIN找到了两种针对TMN协议的攻击,证明了此方法的实用性,可方便地用于其它网络安全协议验证.     

科学解读抗氧化剂的抗癌功效

正清除自由基、延缓衰老、预防癌症……近年来,各类宣扬抗氧化剂"神奇功效"的文章层出不穷,似乎服用了抗氧化剂,就拥有了健康。最近《细胞》杂志刊登了来自美国与瑞典的两支科研团队的研究结果,一种叫做Bach1的蛋白质能让肺癌发生转移,而一些具有"抗氧化功能"的保健品,可能会促进这一过程的发生。那么,抗氧化剂对人体究竟是否有益?对此,浙江省医学科学院保健食品研究所所长、副研究员刘骅指出,额外摄入某种抗氧化剂并不能保证有效抗癌,与其盲目相信保健食品,     

数据挖掘技术在CRM系统中的应用

随着信息化建设在CRM系统中的迅速发展，数据量的急剧膨胀，如何将计算机获得的海量信息进行有效的组织和利用，将其用于决策就变成一个紧迫的问题。本文对利用数据挖掘技术建立CRM示统中的决策分析系统进行了理论研究和实际应用，包括数据仓库的建立和组织，联机分析（OLAP）和数据挖掘（DM）。