SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.     

生产定型可靠性鉴定试验检验下限研究

对应于设计定型可靠性鉴定试验中的检验下限取最低可接受值,生产定型可靠性鉴定试验的检验下限是否取规定值。针对这一疑问,首先阐述了产品生产定型的时机是在设计定型试生产后批量生产前。结合产品可靠性在寿命期内不断增长这一理论,说明了产品可靠性在生产定型时尚达不到规定值。对不同可靠性水平的产品通过可靠性鉴定试验的概率分析,指出检验下限取规定值时好产品通过可靠性鉴定试验的概率很低。分析认为,生产定型可靠性鉴定试验的检验下限应取最低可接受值。     

具有黏土耐受性缓凝剂的制备及在混凝土中的应用

合成了一种含不同磷酸基个数的有机磷酸盐缓凝剂,并将其结构、缓凝性能及抗黏土性能进行了测试表征。混凝土试验测试结果表明,合成出的磷酸盐缓凝剂能延缓水泥水化,缓凝作用好,与聚羧酸减水剂(PCE)复配后,提高了聚羧酸减水剂(PCE)的保坍性能。同时磷酸基缓凝剂还具有很好的抗黏土性能,吸附性能测试表明,所合成的磷酸盐缓凝剂能减少蒙脱土对减水剂的吸附。     

高温深井通风降温技术的适用条件研究

随着矿山开采深度的不断增加，“三高一扰动”恶劣开采环境问题日益突出，给矿井通风降温工作带来极大困难。对于深井矿山，仅采用通风降温难以满足深部开采的需要，系统研究高温深井矿山通风降温技术的适用性问题，对矿山深部开采具有重要的理论意义和工程适用价值。首先从热力学角度，揭示风流在通风线路中的热交换规律；其次利用差分法原理计算深井筒风流温度，并依此推导出巷道和回采工作面风流温度变化趋势；然后结合采场安全生产允许温度进行反推，最终获取通风降温条件下的可采极限深度计算公式，并选取广西铜坑矿锌多金属矿体作为工程应用试验区进行论证分析。结果表明：基于风流的热交换模型可以推导出风流在井筒、巷道及工作面的温度计算公式，该公式与低温梯度、风流流经路径长度有关；假定工作面温度达到安全开采允许最高温度，可反推出该条件下矿山可采极限深度和巷道通风极限长度（仅采用通风降温措施时）；基于铜坑矿区锌多金属矿的实际条件，代入相关数据，验证计算所得极限开采深度符合实际，即所推导公式是可行的。     

可手术乳腺癌患者的循环肿瘤细胞与凝血功能及病理特征的关系研究

目的:探讨可手术乳腺癌患者的循环肿瘤细胞(CTCs)与凝血功能及病理特征的关系。方法:选取本院2017年7月-2018年6月收治的56例可手术乳腺癌患者为研究对象,采集患者外周血检测CTCs,依据检测结果分为CTCs阴性组及CTCs阳性组,对比两组患者凝血功能指标[抗凝血酶Ⅲ(AT-Ⅲ)、D-二聚体(D-D)、纤维蛋白原(FIB)、血小板(PLT)]及病理特征[肿瘤大小、病理类型、肿瘤TNM分期、淋巴转移、病理学分级、人类表皮生长因子受体-2(Her-2)状态、孕激素受体(PR)状态、雌激素受体(ER)状态]差异。结果:56例可手术乳腺癌患者,CTCs阳性检出率14.29%。两组FIB、D-D水平比较,差异均无统计学意义(P>0.05)。阳性组患者AT-Ⅲ水平及PLT计数分别高于阴性组,差异有统计学意义(P<0.05)。可手术乳腺癌患者CTCs阳性率与肿瘤直径≥5 cm及Her-2状态有关(P<0.05),与病理类型、肿瘤TNM分期、淋巴转移、病理学分级、ER状态、PR状态无关(P>0.05)。结论:可手术乳腺癌患者外周血CTCs与Her-2状态有关,CTCs监测可能为评估此类患者术后静脉栓塞发生的有效方法。     

结合公钥加密和关键字可搜索加密的加密方案

带关键字搜索的公钥加密(PEKS)是一种有用的加密原语，它允许用户将在加密数据上搜索的功能委托给不可信的第三方服务器，而不影响原始数据的安全性和隐私性。但是，由于缺乏对于数据的加密以及解密能力，PEKS方案不能单独进行使用，必须与标准的公钥加密方案(PKE)相结合。因此，Baek等人在2006年引入了一种新的加密原语，称为结合PKE和PEKS的加密方案(PKE+PEKS)，它同时提供了PKE和PEKS的功能。目前，已有文献提出了几种PKE+PEKS方案。然而，他们都没有考虑关键字猜测攻击的问题。本文提出一个新的高效且能够抵抗关键字猜测攻击的PKE+PEKS方案，与已有方案相比，该方案在性能上有很大的提升，并且在生成关键字和数据密文时，不需要使用双线性对，极大地降低了计算和存储成本。安全性分析表明，本文中所提出的方案能够满足密文隐私安全性、陷门不可区分性和抗关键字猜测攻击的安全性。效率分析表明，本分提出的方案更加高效。