安全中的设计效率
密码学与安全
2013-02-06 v1
摘要
在本文档中，我们展示了基于传感器网络的运行示例，在平衡安全性与性能方面的应用结果。这些结果构成了平衡安全性与性能新方法的基础，从而提供了密钥更新的设计效率。我们采用了概率模型检测方法，并展示了使用 PRISM 模型检查器进行的建模与分析研究。
引用
@article{arxiv.1302.1111,
title = {Design-Efficiency in Security},
author = {Ender Yüksel and Hanne Riis Nielson and Flemming Nielson},
journal= {arXiv preprint arXiv:1302.1111},
year = {2013}
}