Human-centric verification for software safety and security

机译：用于软件安全和安全性的人为验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Payas Awadhutkar;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Fault Tree Analysis for Safety/Security Verification in Aviation Software [J] . Andrew J. Kornecki, Mingye Liu Electronics . 2013,第1期

机译：航空软件安全/安保验证的故障树分析
2. White and grey-box verification and validation approaches for safety- and security-critical software systems [J] . Francesco Saglietti, Norbert Oster, Florin Pinte Information Security Technical Report . 2008,第1期

机译：适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
3. Forcepoint ups investment in human-centric cybersecurity with new software engineering facility in Cork [J] . The engineers journal . 2018,第7期

机译：Forcepoint通过在科克新建的软件工程设施提高了对以人为本的网络安全的投资
4. Systems Important for NPP Safety: Software Verification and Cybersecurity [C] . E. Jharko International Russian Automation Conference . 2020

机译：系统对NPP安全性重要：软件验证和网络安全
5. Human-Centric Verification for Software Safety and Security [D] . Awadhutkar, Payas Rajendra. 2020

机译：用于软件安全和安全性的人为验证
6. Patient Safety—Incorporating Drawing Software into Root Cause Analysis Software [O] . Linda Williams, Diana Grayson, John Gosbee 2002

机译：患者安全—将绘图软件整合到根本原因分析软件中
7. Fault Tree Analysis for Safety/Security Verification in Aviation Software [O] . Andrew J. Kornecki, Mingye Liu 2013

机译：航空软件安全/安保验证的故障树分析
8. KAERI software verification and validation guideline for developing safety- critical software in digital I and C system of NPP [R] . Kim, J. Y. , Lee, J. S. , Eom, H. S. 1997

机译：KaERI软件验证和验证指南，用于开发Npp数字I和C系统中的安全关键软件

Human-centric verification for software safety and security

著录项

引文网络

相似文献

相关主题

期刊订阅