计算之智与哲学之慧分享 http://blog.sciencenet.cn/u/huangfuqiang

博文

安全软件与系统涉及的主题

已有 2609 次阅读 2012-2-10 13:14 |个人分类:信息安全理论与工程|系统分类:科研笔记| 安全软件

        以下信息来自ESSoS 2012讨论会的主题。我觉得在软件与系统安全方面总结的比较规范与全面,所以复制过来分享探讨。对于特种软件研发实践与理论探究具有方向性的意义,实际上,还有另外一个重要方面,就是软件与系统可靠性的相关主题。这两方面对特种软件研发与理论探索都是相当重要的。
       安全软件与系统不限于以下领域,具有一定程度的开放性与融合性。
- scalable techniques for threat modeling and analysis of vulnerabilities
- specification and management of security requirements and policies
- security architecture and design for software and systems
- model checking for security
- specification formalisms for security artifacts
- verification techniques for security properties
- systematic support for security best practices
- security testing
- security assurance cases
- programming paradigms, models and DLS's for security
- program rewriting techniques
- processes for the development of secure software and systems
- security-oriented software reconfiguration and evolution
- security measurement
- automated development
- trade-off between security and other non-functional requirements
- support for assurance, certification and accreditation


https://blog.sciencenet.cn/blog-89075-536050.html

上一篇:网络安全新基础的谋划
下一篇:后IP时代与超越IP时代120308
收藏 IP: 218.201.105.*| 热度|

1 刘洋

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 23:34

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部