Visual Basic.NET开发MIS系统中的高级查询技巧

介绍了微软最新技术VisualBasic．MET在MIS系统中的高级查询方面的一些应用技巧。介绍了高级查询的一些基本方法，利用VisualBasic．NET的完全面向对象的特性，应用Visual Basic 6．0中所不具有的窗体继承的功能，创建一个基本类和一个查询窗体模板以简化MIS系统中的高级查询的开发过程。     

姜黄素对血小板源性生长因子诱导的血管平滑肌细胞增殖及PTEN表达的影响

目的:研究在血小板源性生长因子（platelet-derived growth factor-BB,PDGF-BB）诱导下姜黄素对血管平滑肌细胞（vascular smooth muscle cell,VSMCs）增殖以及人第10号染色体缺失的磷酸酶及张力蛋白同源基因（phosphatase and tensin homology deletedon chromosome ten,PTEN）的影响，为侗族药物“姜黄”的临床应用提供更丰富的实验依据。方法:用20 ng/mL PDGF-BB孵育大鼠VSMCs 24 h，建立细胞增殖模型。MTT和CCK-8法观察姜黄素对VSMCs的细胞活性的影响，流式细胞术检测细胞周期，细胞划痕实验观察细胞迁移力，RT-PCR和Western blot观察PTEN mRNA、PTEN蛋白以及磷酸化PTEN（p-PTEN）蛋白的表达情况。结果:在20 ng/mL PDGF-BB的诱导下，10、30 μmol/L的姜黄素可显著抑制VSMCs增殖，以10 μmol/L姜黄素为最佳作用浓度，其不仅可以使细胞周期中G0/G1期比例明显升高，S期比例降低，还能显著抑制VSMCs迁移。同时可以上调PTEN mRNA和PTEN蛋白的表达，下调p-PTEN蛋白的表达。结论:姜黄素可以抑制PDGF-BB诱导的血管平滑肌细胞增殖与迁移，其对PTEN的影响，可能与上调PTEN mRNA和PTEN蛋白，下调p-PTEN蛋白相关。     

RFID超轻量级认证协议RCIA形式化分析与改进

无线射频识别（RFID）是物联网中的一种非接触式的自动识别技术,被广泛运用于构建物物互联的RFID系统。RCIA是一种超轻量级RFID双向认证协议,提供高安全性并声称能抵御去同步攻击。形式化方法是安全协议分析的有力手段。运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证,结果表明RCIA协议存在去同步攻击漏洞。针对此漏洞,提出基于密钥同步机制的修补方案,对RCIA协议进行了改进。对改进后的协议进行形式化分析与验证,结果表明改进后的RCIA协议具有更高的安全性。提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案,被证明能有效抵御去同步漏洞,可适用于此类超轻量级RFID双向认证协议的设计和分析。     

基于事件逻辑的无线Mesh网络认证协议安全性证明

无线Mesh网络是一种结合无线局域网和移动自组织网络的新型多跳网络,无线网络的开放性和资源受限性使得无线网络容易遭受重放、伪装等攻击。事件逻辑是一种描述并发与分布式系统中状态迁移和算法的形式化方法,可用于证明网络协议的安全性。以事件逻辑为基础提出一系列性质,其中包含多组合信息交互、不叠加、事件匹配、去重复、去未来,以降低协议分析过程中的冗余度以及复杂度,提高协议分析效率。对无线Mesh网络客户端双向认证协议进行分析,证明该协议能够抵抗中间人发起的重放攻击,无线Mesh客户端双向认证协议是安全的。此理论适用于类似复杂无线网络协议形式化分析。     

基于时间戳私钥签名技术的Nayak-T协议安全性分析

随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协议在消息项内增加时间戳并更改加密手段,通过双重加密的手段来保证双方通信安全。利用四通道并行建模法对Nayak-T协议建模,运用SPIN对该协议进行验证,验证结果得出Nayak-T协议安全的结论。模型优化策略分析表明,采用静态分析、类型检查、语法重定序模型优化策略的模型检测效率最佳,可运用于类似复杂协议的形式化分析与验证。