Amulet: A secure architecture for mHealth applications for low-power wearable devices

MMA 2014 - Proceedings of the 1st Workshop on Mobile Medical Applications

Volumn , Issue , 2014, Pages 16-21

  Molina Markham, Andres ^a   Peterson, Ronald ^a   Skinner, Joseph ^a   Yun, Tianlong ^a   Golla, Bhargav ^b   Freeman, Kevin ^b   Peters, Travis ^a   Sorber, Jacob ^b   Halter, Ryan ^a   Kotz, David ^a  

^a DARTMOUTH COLLEGE   (United States)

^b CLEMSON UNIVERSITY   (United States)

Author keywords

Low power; MHealth; Secure architecture; Wearable devices

Indexed keywords

COMPUTER OPERATING SYSTEMS; LOW POWER ELECTRONICS; MEDICAL APPLICATIONS; MOBILE SECURITY; NETWORK ARCHITECTURE; SPORTS; WEARABLE TECHNOLOGY;

LOW POWER; MEDICAL CONDITIONS; MOBILE TECHNOLOGY; MULTIPLE APPLICATIONS; SECURE ARCHITECTURES; STRONG SECURITIES; THIRD PARTY APPLICATION (APPS); WEARABLE DEVICES;

MHEALTH;

EID: 84915774090     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2676431.2676432     Document Type: Conference Paper

References (20)

1. M. Abadi. Logic in access control. In Proceedings of the IEEE Symposium on Logic in Computer Science, pages 228-233, 2003.
2. ANTLR (ANother Tool for Language Recognition). http://www.antlr.org/, Mar. 2014.
3. M. Y. Becker, C. Fournet, and A. D. Gordon. Secpal: Design and semantics of a decentralized authorization language. Journal of Computer Security, 18(4), 2010.
4. M. Y. Becker and P. Sewell. Cassandra: Flexible trust management, applied to electronic health records. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 139-154. IEEE, 2004.
5. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. Keromytis. The role of trust management in distributed systems security. In Secure Internet Programming, Volume 1603, pages 185-210. Springer, 1999.
6. P. Bourke. Cross correlation, 1996.
7. M. J. Covington, W. Long, S. Srinivasan, A. K. Dev, M. Ahamad, and G. D. Abowd. Securing context-aware applications using environment roles. In Proceedings of the ACM Symposium on Access Control Models and Technologies (SACMAT), pages 10-20. ACM, 2001.
8. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylonen. SPKI certificate theory. Technical report, IETF RFC 2693, Sept. 1999.
9. U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: software guards for system address spaces. In Proceedings of the Symposium on Operating Systems Design and Implementation (OSDI), pages 75-88. USENIX, Nov. 2006.
10. T. Fisher. Interactive digital filter design, 1999.
11. Y. Gurevich and I. Neeman. DKAL: Distributed-knowledge authorization language. In Proceedings of the IEEE Computer Security Foundations Symposium (CSF), pages 149-162, 2008.
12. N. Li and J. C. Mitchell. RT: A role-based trust-management framework. In Proceedings of the DARPA Information Survivability Conference and Exposition, Volume 1, pages 201-212. IEEE, 2003.
13. Motoactv. https://motoactv.com, Dec. 2013.
14. B. Niu and G. Tan. Monitor integrity protection with space efficiency and separate compilation. In Proceedings of the 2013 ACM SIGSAC Conference on Computer - Communications Security, CCS'13, pages 199-210, New York, NY, USA, 2013. ACM.
15. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical recipes in C, Volume 2. Citeseer, 1996.
16. J. Sorber, M. Shin, R. Peterson, C. Cornelius, S. Mare, A. Prasad, Z. Marois, E. Smithayer, and D. Kotz. An Amulet for trustworthy wearable mHealth. In Proceedings of the Workshop on Mobile Computing Systems and Applications (HotMobile), Feb. 2012.
17. M. Sun, G. Tan, J. Siefers, B. Zeng, and G. Morrisett. Bringing java's wild native world under control. ACM Trans. Inf. Syst. Secur., 16(3): 9:1-9:28, Dec. 2013.
18. FRAM Technology. http://www.ti.com/lsds/ti/microcontroller/16-bit-msp430/fram/overview.page, Nov. 2013.
19. xmhk. A library to find peaks in a 1d-list, 2013.
20. L. Zhao, G. Li, B. De Sutter, and J. Regehr. Armor: Fully verified software fault isolation. In Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on, pages 289-298. IEEE, Oct. 2011.