Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee. Securing the drop-box architecture for assisted living. In Marianne Winslett, Andrew D. Gordon, David Sands, editors, Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006. pages 1-12, ACM, 2006. [doi]
Abstract is missing.