首页> 外文OA文献 >Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage poster

【2h】

Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage poster

机译：通过将断言检查器与代码覆盖率相结合来评估通用处理器中的安全性要求海报

页面导航

摘要
著录项
相似文献
相关主题

摘要

Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), San Francisco, CA, June 2012, Pages 49-54. [Paper] [Symposium] [Poster]

机译：IEEE国际面向硬件的安全性和信任（HOST）研讨会论文集，加利福尼亚州旧金山，2012年6月，第49-54页。 [论文] [专题讨论会] [海报]

著录项

作者
Bilzor Michael; Huffmire Ted; Irvine Cynthia; Levi Tim;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction [J] . Marchetto Alessandro, Scanniello Giuseppe, Susi Angelo IEEE Transactions on Software Engineering . 2019,第4期

机译：将代码和要求覆盖范围与执行成本相结合，以减少测试套件
2. Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction [J] . Marchetto Alessandro, Scanniello Giuseppe, Susi Angelo IEEE Transactions on Software Engineering . 2019,第4期

机译：结合代码和需求覆盖以及测试套件减少的执行成本
3. SATMC: a SAT-based model checker for security protocols, business processes, and security APIs [J] . Alessandro Armando, Roberto Carbone, Luca Compagna International Journal on Software Tools for Technology Transfer . 2016,第2期

机译：SATMC：基于SAT的模型检查器，用于安全协议，业务流程和安全API
4. Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage [C] . Bilzor Michael, Huffmire Ted, Irvine Cynthia, Hardware-Oriented Security and Trust (HOST), 2012 IEEE International Symposium on . 2012

机译：通过将断言检查器与代码覆盖范围相结合来评估通用处理器中的安全性要求
5. Goal-oriented business process monitoring: An approach based on user requirement notation combined with business intelligence and Web services [D] . Chen, Pengfei 2008

机译：面向目标的业务流程监视：一种基于用户需求表示法并结合了商业智能和Web服务的方法
6. A conditionally replicative adenovirus that codes for a TK-GFP fusion protein (Ad5 Δ24TK-GFP) for evaluation of the potency of oncolytic virotherapy combined with molecular chemotherapy [O] . TANJA HAKKARAINEN, AKSELI HEMMINKI, DAVID T. CURIEL, -1

机译：编码TK-GFP融合蛋白（Ad5Δ24TK-GFP）的条件复制性腺病毒用于评估溶瘤病毒疗法与分子化疗联合的效能
7. Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage [O] . Bilzor Michael, Huffmire Ted, Irvine Cynthia E., 2012

机译：通过将断言检查器与代码覆盖率相结合来评估通用处理器中的安全性要求

Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage poster

摘要

著录项

相似文献

相关主题

期刊订阅