安全性质相关论文
屎肠球菌SC-Y112是一种具有广谱抗菌性质的产细菌素乳酸菌,为更深入了解其菌株性质,本研究通过模拟胃肠液耐受实验、胆盐耐受实验......
随着网络技术的应用逐步渗透到许多关键部门，以及电子商务的兴起与广泛应用，信息安全已变得日益重要。安全协议是信息安全的基础，但其......
电子投票允许人们通过网络就某一议题进行投票来表达自己的看法或是意愿。电子投票以其方便、高效、低廉的成本,自提出之日其就引......
使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相......
目的研究探讨醒脑开窍针法对中风的治疗疗效与安全性质。方法以患者的入院编号为标准，采用随机抽样的方法，将来我院进行中风治疗的16......
攻击者获取某主体（actor）的长期私钥后,利用该私钥伪装成其他主体欺骗actor或获取保密信息的行为被称为AKC（Actor Key Compromise）攻击......
安全关键系统必须满足规定的安全性质．测试生成通常独立于给定性质，“先验证再测试”的方法不能保证安全性质被测试．为此，该文提出了一......
安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应......
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;......
为了实现对网络信息系统的安全等级定量分析,给出了一种信息安全等级计算模型的详细设计步骤。首先从安全技术角度考虑,构造出一般......
针对安全性质，提出一种植入式监控方法。使用OCL（Object Constraint Language）实现安全性质在模型上的描述，并将OCL约束转化为Java监控......
