信息擦除的用户模型
密码学与安全
2009-10-22 v1 计算机科学中的逻辑
编程语言
摘要
Hunt 和 Sands (ESOP'08) 研究了针对接收限时使用秘密的系统的信息擦除概念。擦除要求，一旦秘密完成了其用途，系统后续的行为不应泄露任何关于已擦除数据的信息。本文解决了该工作中的一个缺陷：为了使擦除成为可能，提供数据的用户也必须发挥作用，但此前该角色仅被非正式地指定。这里我们提供了一个正式的用户模型以及一组称为“擦除友好性”的需求。我们证明，一个擦除友好的用户可以与一个擦除系统（按照 Hunt 和 Sands 的定义）组合，从而得到一个在适当意义上共同擦除的组合系统。在此过程中，我们识别出比先前工作中非正式描述的用户需求更强的要求。
引用
@article{arxiv.0910.4056,
title = {A User Model for Information Erasure},
author = {Filippo Del Tedesco and David Sands},
journal= {arXiv preprint arXiv:0910.4056},
year = {2009}
}