作者: Qian Feng , Robyn Lutz
关键词: Software reliability testing 、 Software 、 Formal specification 、 Software security assurance 、 Reliability engineering 、 Denial-of-service attack 、 Computer science 、 Software metric 、 Software requirements 、 Software quality analyst
摘要: The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, adequacy security. Use identified four security-related requirements for making system more robust denial-of-service attacks.