软件安全性需求形式化建模和验证

软件安全性需求形式化建模和验证

出版社：江苏大学出版社

ISBN：9787568401128

出版年：2019

作者：李震

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于形式化的需求自动建模与健壮性验证技术研究

作者：王一华
出版社：中国科学院国家空间科学中心
出版年：2022

面向可信认证及授权协议的形式化建模与验证研究

作者：汪彩梅
出版年：2018

基于控例的软件可信性需求抽取和建模方法研究

作者：刘春
出版年：2012

一种对NAND闪存硬件和闪存转换层软件的形式化建模

作者：杨龙婴
出版年：2015

AACS安全协议的形式化验证

作者：王薇
出版年：2009

安全Linux操作系统及安全Web系统的形式化建模与实现

作者：刘克龙
出版社：中国科学院
出版年：2001