...
机译:评估模型检查以进行网络威胁代码混淆识别
CNR, Ist Informat & Telemat, Pisa, Italy;
CNR, Ist Informat & Telemat, Pisa, Italy;
Univ Sannio, Dept Engn, Benevento, Italy;
Univ Molise, Dept Biosci & Terr, Pesche, IS, Italy;
Vellore Inst Technol, Sch Comp Sci & Engn, Vellore 632014, Tamil Nadu, India;
Univ Sannio, Dept Engn, Benevento, Italy;
Obfuscation; Android; Model checking; Formal methods; Malware;
机译:5网络安全技术:新兴威胁的对策:5-1支持混淆软件分析的技术
机译:网络安全威胁情报知识交流基于区块链提案,基于区块链和智能合同,促进网络威胁和风险智能交流信息
机译:垂直磁记录模型中低密度奇偶校验码的评估
机译:网络威胁情报模型:在网络威胁情报中对分类,分享标准和本体的评估
机译:医学差异诊断(MDD)作为知识模型的体系结构框架:针对网络犯罪和网络恐怖主义的漏洞检测和威胁识别方法。
机译:DNA条码和物种分布模型评估全球气候变化对遗传多样性的威胁:来自Nanorana parkeri(Anura:Dicroglossidae)的案例研究
机译:反对抽象模型检查攻击的代码混淆
机译:通过行为博弈论和实践与教育模式检查提高网络物理系统的网络安全性。