Determining an Economic Value of High Assurance for Commodity Software Security (Transcript of Discussion)
연구 분야: Verification
학회: Cambridge International Workshop on Security Protocols
초록
This paper is on how to determine an economic value of high assurance for commodity software security.
📄 논문 정보
| 발행 연도 | 2023년 |
|---|---|
| 인용수 | 0 |
| 출판 국가 | Ethiopia |
| 사이트 | Springer |
| 좋아요 수 | 0 |