@InProceedings{MaySGL06, author = {Michael J. May and Wook Shin and Carl A. Gunter and Insup Lee}, title = {Securing the Drop-Box Architecture for Assisted Living}, booktitle = {Formal Methods in Software Engineering ({FMSE} '06)}, year = 2006, address = {Alexandria, VA}, month = {November}, organization = {ACM} }