Noninterference, Transitivity, and Channel-Control Security Policies 1 论文

2005引用 294
Security and Verification in ComputingNetwork Security and Intrusion DetectionInternet Traffic Analysis and Secure E-voting

Noninterference, Transitivity, and Channel-Control Security Policies 1 · 相关技术