机译:基于模型检查的移动系统安全策略验证方法
Dipartimento di Tecnologie dell'Informazione, Universita degli Studi di Milano, via Bramante, 65, 26013 Crema, Italy;
Faculty of Informatics, Universita della Svizzera Italiana, Lugano, Switzerland;
Faculty of Informatics, Universita della Svizzera Italiana, Lugano, Switzerland;
software verification; program security and safety; mobile systems; security policies; access control; information flow;
机译:软件定义网络的安全策略模型转换和验证方法
机译:移动代理系统中的安全策略建模
机译:建模和验证移动代理软件系统的多范式方法
机译:列车联锁系统Petri网表示的基于模型检查的安全验证
机译:移动安全性:一种系统工程框架,用于通过策略管理和技术的结合来实现自带设备(BYOD)安全性。
机译:工业控制系统信息安全管理系统模型的高级方法
机译:基于模型检查的移动系统安全策略验证方法
机译:利用网络展开验证移动系统的实用方法