论文标题
将验证义务适用于安全问题
Application of Validation Obligations to Security Concerns
论文作者
论文摘要
我们的生活越来越依赖于安全和关键安全系统，因此提倡进行此类系统的正式技术。这样的技术之一是验证义务，使得能够在开发初期进行正式要求以确保其正确性。此外，验证义务有助于在不断发展的模型中保持一致的要求，并对模型的完整性创建保证。尽管最初是针对安全性属性提出的，但本文展示了验证义务的技术如何通过医疗领域的示例来理解安全问题。
Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early in development to ensure their correctness. Furthermore, validation obligations help hold requirements consistent in an evolving model and create assurances about the model's completeness. Although initially proposed for safety properties, this paper shows how the technique of validation obligations enables us to also reason about security concerns through an example from the medical domain.
