Secure information flow awareness for smart wireless eHealth systems

International Multi-Conference on Systems, Signals and Devices, SSD 2012 - Summary Proceedings

Volumn , Issue , 2012, Pages

  Pfeiffer, Stefan ^a   Unger, Sebastian ^a   Timmermann, Dirk ^a   Lehmann, Andreas ^a  

^a UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AGGREGATED INFORMATION; DESIGN CRITERION; E-HEALTH SYSTEMS; EHEALTH; ILLEGAL INFORMATION FLOW; INFORMATION FLOWS; MHEALTH; SECURE INFORMATION FLOW; SECURITY PROPERTIES; VERIFICATION METHOD;

SECURITY OF DATA;

MEDICAL INFORMATION SYSTEMS;

EID: 84861600327     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSD.2012.6198123     Document Type: Conference Paper

References (23)

1. M. Deng, D. D. Cock, and B. Preneel, "An interoperable cross-context architecture to manage distributed personal e-health information," in Handbook of Research on Developments in e-Health and Telemedicine: Technological and Social Perspectives. IGI Global, Inc., 2009, pp. 576-602.
2. R. Martí, J. Delgado, and X. Perramon, "Security specification and implementation for mobile e-health services," in Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04). IEEE Computer Society, 2004, pp. 241-248.
3. K. Elmufti, D. Weerasinghe, M. Rajarajan, V. Rakocevic, and S. Khan, "Privacy in mobile web services ehealth," Pervasive Health Conference and Workshops, pp. 1-6, 2006.
4. Schwaibold, M. Gmelin, G. von Wagner, J. Schchlin, and A. Bolz, "Key factors for personal health monitoring and diagnosis devices," in Mobile Computing in Medicine, 2002, pp. 143-150.
5. L. Martino, Q. Ni, D. Lin, and E. Bertino, "Multi-domain and privacy-aware role based access control in ehealth," in Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on, February 2008, pp. 131-134.
6. J. MacDonald, "Authentication considerations for mobile e-health applications," in Pervasive Computing Technologies for Healthcare, 2008. PervasiveHealth 2008. Second International Conference on, 30 2008-feb. 1 2008, pp. 64-67.
7. A. Dmitrienko, Z. Hadzic, H. Lhr, A.-R. Sadeghi, and M. Winandy, "Securing the access to electronic health records on mobile phones," in Biomedical Engineering Systems and Technologies, Springer-Verlag, Ed., 2011.
8. M.Aramudhan and K.Mohan, "New secure communication protocols for mobile e-health system," International Journal of Computer Applications, vol. 8, no. 4, pp. 10-15, October 2010, published By Foundation of Computer Science.
9. G. Kambourakis, I. Maglogiannis, and A. Rouskas, "Pki-based secure mobile access to electronic health services and data," Technol. Health Care, vol. 13, pp. 511-526, December 2005.
10. S. Zdancewic, "Challenges for information-flow security," in In Proc. Programming Language Interference and Dependence (PLID), 2004.
11. D. E. Denning and P. J. Denning, "Certification of programs for secure information flow," Communications of the ACM, vol. 20, no. 7, pp. 504-513, 1977.
12. Object Management Group, "Business Process Model And Notation (BPMN), Version 2.0," January 2011. [Online]. Available: http://www.omg.org/spec/BPMN/2.0/
13. V. Chan, P. Ray, and N. Parameswaran, "Mobile e-Health monitoring: an agent-based approach," Communications, IET, vol. 2, no. 2, pp. 223-230, Feb. 2008.
14. McAfee, Inc., "Mcafee threats report: Third quarter 2011," 2011. [Online]. Available: http://www.mcafee.com/us/resources/reports/rp- quarterly-threat-q3-2011.pdf
15. M. T. Nguyen, P. Fuhrer, and J. Pasquier-Rocha, "Enhancing e-health information systems with agent technology," Int. J. Telemedicine Appl., vol. 2009, pp. 1:1-1:13, January 2009.
16. R. M. Dijkman, M. Dumas, and C. Ouyang, "Semantics and analysis of business process models in BPMN," Information & Software Technology, vol. 50, no. 12, pp. 1281-1294, 2008.
17. B. Lampson, "A note on the confinement problem," Communications of the ACM, vol. 16, no. 10, pp. 613-615, October 1973.
18. N. Lohmann, H. Verbeek, and R. M. Dijkman, "Petri net transformations for business processes - a survey," LNCS ToPNoC, vol. II, no. 5460, pp. 46-63, 2009.
19. N. Busi and R. Gorrieri, "Structural non-interference in elementary and trace nets," Mathematical Structures in Computer Science, vol. 19, no. 6, pp. 1065-1090, 2009.
20. R. Accorsi and A. Lehmann, "Automated and fast information flow analysis for business process models," 2012, unpublished manuscript available at http://www.informatik.uni-rostock.de/al357/reader.pdf.
21. Service Technology, "ANICA - [A]utomated [N]on-[I]nterference [C]heck [A]ssistant," July 2011. [Online]. Available: http://service- technology.org/anica
22. K. Wolf, "Generating Petri net state spaces," in ICATPN 2007, ser. LNCS 4546. Springer, 2007, pp. 29-42.
23. A. Lehmann and N. Lohmann, "Model support for confidential service-oriented business processes," in Proceedings of the 4th Central-European Workshop on Services and their Composition, ZEUS 2012, Bamberg, Germany, February 23-24, 2012, 2012.