Comparative analysis of related notions of opacity in centralized and coordinated architectures 论文
2012Discrete Event Dynamic Systems引用 225
Security and Verification in ComputingCryptography and Data SecurityInternet Traffic Analysis and Secure E-voting