Computer Science – Cryptography and Security
Scientific paper
2009-10-21
EPTCS 7, 2009, pp. 16-30
Computer Science
Cryptography and Security
Scientific paper
10.4204/EPTCS.7.2
Hunt and Sands (ESOP'08) studied a notion of information erasure for systems which receive secrets intended for limited-time use. Erasure demands that once a secret has fulfilled its purpose the subsequent behaviour of the system should reveal no information about the erased data. In this paper we address a shortcoming in that work: for erasure to be possible the user who provides data must also play his part, but previously that role was only specified informally. Here we provide a formal model of the user and a collection of requirements called erasure friendliness. We prove that an erasure-friendly user can be composed with an erasing system (in the sense of Hunt and Sands) to obtain a combined system which is jointly erasing in an appropriate sense. In doing so we identify stronger requirements on the user than those informally described in the previous work.
Sands David
Tedesco Filippo Del
No associations
LandOfFree
A User Model for Information Erasure does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A User Model for Information Erasure, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A User Model for Information Erasure will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-143973