Mathematical Background
摘要
This chapter defines the notion of measure for security analysis. It specifies the mathematical terms used to analyze the security of safety critical and control systems.