适应受限环境的认证协议及其SVO逻辑分析

针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。     

基于DM642的视频监控系统硬件设计

介绍嵌入式视频监控系统的工作过程.本文采用TI公司新推出的专用多媒体处理芯片TMS320DM642作为主控芯片,实现了同时采集4路有声视频以及本地回放的功能,有效降低了成本,提高了系统利用率.系统主要由DM642模块、存储模块、视频模块、音频模块和电源模块等几部分组成,文中对这些模块一一进行了介绍.     

"楔形"TEM样品的机械研磨制备技术

介绍了一种用机械研磨法制备集成电路TEM楔形样品的技术,讨论了该制样技术所需注意的关键点,并给出了判断样品薄区是否满足TEM分析要求的两种方法。楔形样品减薄技术兼具制样速度快和样品质量好的优点。该技术既可用于制备非定点TEM样品,也可用于制备定点的TEM样品。给出了用该技术制备的定点失效的MOS器件TEM照片。熟练的技术人员可以用此方法在半小时内完成一个样品的制备。     

无线通信相互认证和密钥建立协议的安全性分析

在无线系统中,用户和服务器需要进行彼此认证并建立一个共享会话密钥。该密钥为用户和服务器后面的会话提供安全保证。Aydos提出了一种建立在ECC上的相互认证和密钥建立协议,并适用于无线网络的应用。通过对Aydos协议的研究发现该协议并不能满足前向保密性、中间人攻击以及假冒攻击的安全性要求。     

椭圆曲线密码体制中安全曲线的选取

椭圆曲线密码是公钥密码体制,它的安全基础是椭圆曲线上的离散对数问题。研究表明,椭圆曲线密码是目前唯一无法用亚指数算法破解的公钥密码。通过详细介绍ECC的数学基础的基础,分析针对椭圆曲线离散对数问题的常见攻击算法,并在最后给出一种完整的安全椭圆曲线选择方法。     

针对网络通信中认证和密钥建立协议的假冒攻击

为了保障信息在无线系统中的安全传输,用户和服务器在交换信息之前需要相互认证,并在建立1个共享的会话密钥。对邓方民提出的基于椭圆曲线的相互认证和密钥建立协议的安全性进行分析,指出协议本身存在的安全隐患。     

生物培养物的氮磷去除及生物质产出能力研究

排放废水中的过剩氮磷引起的水体富营养化是我国水体污染中最严重的问题之一,生物培养物能够吸收、去除污水中的氮、磷和有机物等污染物,并将其转化为生物质,在废水处理和生物能源生产方面的应用前景广阔。文章选用单一微藻、混合微藻、藻-菌共生和活性污泥等4种生物培养物,分别在二级出水、BG11和合成污水中进行培养实验,分析比较其去除水体中的总磷和氨氮以及生物质产出的能力。结果表明:藻菌共生系统与藻类处理污水更具有优势,可以在第4天将二级出水处理到满足景观出水的标准;藻菌共生系统具有更高的蛋白质以及油脂的生物质产出,在培养后期的蛋白质含量为41.14%～54.12%,总脂的含量为11.83%～20.13%;氨氮与生物培养物蛋白质含量有良好的相关性。     

基于计算思维的计算机基础教育的实践研究

随着各学科的交叉研究,计算机基础教育其地位已变得不可动摇。计算思维能力的培养是计算机基础教学的目标之一。他的定义、特点和发展与计算机基础教育密不可分,特别是对于计算机基础课程的教学实践起到举足轻重的作用,作者在《Access数据库应用技术》课程的教学过程中以"计算思维"为指导思想,进行教学改革,为其他计算机基础课程做了很好的指引作用。