Dipartimento di Sistemi e Informatica, University di Firenze;
机译:纠正性执行:监视器执行安全策略的新范式
机译:语义安全:安全驱动的协作的语义策略的规范和执行
机译:安全策略定义和实施利用5G中的策略控制功能框架
机译:重构安全性类型以在FABLE中自动执行策略
机译:使用数据出处强制执行安全策略,以丰富IoT /智能构建系统的安全性
机译:RESPOnSE-在受限动态环境中执行风险感知安全策略的框架
机译:通过类型执行安全策略