退出
我的积分:
中文文献批量获取
外文文献批量获取
吴秀坤; 王根生;
核工业标准化研究所,北京100091;
核电厂; 安全级; 数字化议控系统; 验证和确认;
机译:适用于安全性和安全性至关重要的软件系统的白盒和灰盒验证和确认方法
机译:制定用于计算核系统热流体行为的软件的验证和确认标准
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:RFC Radiy为核安全应用中基于FPGA的平台的验证和确认(V&V)采用的方法。
机译:用于推导用于评估软件安全性的验证和确认策略的框架。
机译:印度环境和常见问题中的生物安全2级和生物安全3级实验室的认证与确认
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:通过组合使用蜂窝电话和特殊软件通过卡进行安全的银行交易,可提供第二级身份验证,并在发生未经授权的交易时将客户的银行帐户恢复为原始状态
机译:加密身份验证和/或建立共享的加密密钥,使用带有非一次性密码的加密密钥进行签名,包括(但不限于)针对恶意软件的安全性得到提高的技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。