论文部分内容阅读
Formal Verification under Unknown Constraints
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2005年1期
其他文献
We present a secure storage system named HermitFS against many types of attacks. HermitFS uses strong cryptography algorithms and a secure protocol to secure th
期刊
目的:探讨破伤风抗毒素致过敏性休克的特点和规律。方法:对1993～2012年中文科技期刊全文数据库中有关破伤风抗毒素致过敏休克的文献进行综述分析。结果:破伤风抗毒素致过敏性
目的:了解我院Ⅰ类切口围手术期预防性使用抗菌药的现状及切口愈合情况,为我院抗菌药的管理提供数据支持,为合理用药提供参考.方法:采用回顾性调查,抽取本院2011年5～6月出院的
In this paper, we describe and analyze the hypothesis about intrusion tolerance software system, so that it can provide an intended server capability and deal w
期刊
患者,女,47岁。因双下肢水肿,尿常规血+-,蛋白质++,小便量少、泡沫多,排尿有灼热感,于2012年10月15日到我院肾病科就诊。既往史:有“乙肝”病史、输血史,否认“高血压病、糖