André van Cleeff, Trajce Dimkov, Wolter Pieters, Roel J. Wieringa: Realizing Security Requirements with Physical Properties: A Case Study on Paper Voting. ICITCS 2011: 51-67