基于DisMod校正法对天津市2007—2015年发病监测系统中急性心肌梗死发病报告完整性判断

目的采用DisMod校正法判断天津市2007—2015年发病监测系统中急性心肌梗死(AMI)发病报告的完整性。方法收集天津市2007—2015年发病监测数据和死因登记数据中的AMI发病率和死亡率及健康测量评估研究所公布的AMI缓解率,应用DisModⅡ模型估算校正后的AMI死亡发病比(M/I),对DisMod法和直接法计算的M/I值进行差异性检验,并根据DisMod法估算的发病率估计现有发病检测系统的漏报率。结果天津市2007—2015年AMI的M/I值经DisMod法校正后为0.49~0.97,均<1;在≥65岁人群中,直接法计算AMI的M/I值均较DisMod法计算的M/I值大,差异均有统计学意义(均P<0.05);DisMod法校正估算的总发病数与原始发病数比较,平均每年DisMod法校正估算的发病数(11837例)大于原始发病数(8563例),尤其在≥65岁人群;按照DisMod法校正发病死亡的关系后,发病监测系统每年的平均漏报率在26.4%,≥65岁人群平均漏报率为42.9%。结论天津市AMI发病监测系统可能存在一定漏报,尤其是≥65岁人群,可采用DisMod校正法来判断AMI发病/患病监测系统的完整性。

一种面向远程证明的双向完整性报告方案

国际可信计算组织（Trusted Computing Group，TCG）所定义的可信计算平台支持远程证明功能，即向一个远程实体证明本地平台的完整性信息，称为完整性报告。由于现有的完整性报告方案都是基于Client／Server模型，所以它们用于实现双向完整性报告时存在一些问题。为了克服这些问题，本文提出了一种面向远程证明的双向完整性报告方案。该双向完整性报告方案通过将平台身份证明密钥（Attestation Identity Key，AIK）证书的有效性验证功能和平台完整性的校验，及评估功能集中实现于网络中的可信中心，可有效地减小完整性报告双方的计算负荷和保护完整性报告双方的平台配置。此外，该双向完整性报告方案还通过设置平台组件隐私保护策略来防止完整性报告双方互相探询对方的平台配置。

基于智能化输血系统的输血不良反应结构式模板的构建与应用

目的构建基于智能化输血系统的输血不良反应结构式模板,观察其应用效果。方法选取该院住院部40个病区2019年2—9月输血病历中发生输血不良反应的患者132例设为对照组。2019年10月至2020年5月40个病区输血病历中发生输血不良反应的患者125例设为观察组。以40个住院部病区共648名护士为调查对象。对照组以自由文本报告形式书写护理记录。观察组使用结构式模板书写护理记录。比较两组护理记录书写时间、报告完整率及护士满意率。结果观察组报告书写时间短于对照组,报告完整性(97.6%)高于对照组(88.6%),护士满意度(97.8%)高于对照组(88.0%);差异均有统计学意义(P<0.01)。结论输血不良反应结构式模板的使用有利于提高护士的工作效率和工作质量,显著提高了护士的满意度。

满足对应性属性的平台配置证明

针对完整性报告协议(IRP)存在局部和全局攻击的安全隐患,对StatVerif进行语法扩展,增加了与完整性度量相关的构造算子和析构算子,通过对平台配置证明(PCA)安全进行分析,发现其存在的局部攻击和全局攻击,包括通过未授权命令对平台配置寄存器和存储度量日志进行篡改。对攻击者能力进行了建模,详细说明了攻击者如何通过构造子和析构子形成知识,进而对平台配置证明进行攻击。最后,在平台配置证明不满足对应性属性的情况下,从理论上证明了攻击序列的存在,并给出了平台配置证明满足局部可靠和全局可靠的条件,通过形式化验证工具Proverif证明了命题的合理性。