系统安全

复杂系统安全性研究

a) 提出输入-输出观点下的系统安全框架，利用乘子法得到互联网络系统的安全性判据；

b) 结合可达性分析，提出复杂系统的安全性判据和快速判定算法。