Controlled data sharing in E-health

Proceedings - 2011 1st Workshop on Socio-Technical Aspects in Security and Trust, STAST 2011

Volumn , Issue , 2011, Pages 17-23

  Matteucci, Ilaria ^a   Mori, Paolo ^a   Petrocchi, Marinella ^a   Wiegand, Luca ^a  

^a CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLINICAL INFORMATION; ELECTRONIC FORMATS; ELECTRONIC PATIENT RECORD; FORMAL FRAMEWORK; HEALTHCARE ORGANIZATIONS; INFORMATION SHARED; INFORMATION SHARING; SECURITY REQUIREMENTS;

HEALTH CARE;

EID: 84871953667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/STAST.2011.6059251     Document Type: Conference Paper

References (11)

1. R. J. Anderson, "A security policy model for clinical information systems," in IEEE Symposium on Security and Privacy. IEEE Compute Society Press, 1996, pp. 30-42.
2. -, "Security in clinical information systems," Computer Laboratory University of Cambridge, Tech. Rep., 1996.
3. K. T. Win, "A review of security of electronic health records," Health Information Management, vol. 34, no. 1, pp. 13-18, 2005.
4. D. Acharya, "Security in pervasive health care networks: Current R&D and future challenges," in Mobile Data Management, 2010, pp. 305-306.
5. B. Hewitt, "Exploring how security features affect the use of electronic health records," Healthcare Technology and Management, vol. 11, no. 1/2, pp. 31-49, 2010.
6. K. Sohr, M. Drouineaud, and G. Ahn., "Formal specification of role-based security policies for clinical information systems," in SAC: Security Track. ACM, 2005, pp. 332-339.
7. "InFSE: Infrastruttura tecnologica del fascicolo sanitario elettron-ico. linee guida architetturali per la definizione del fascicolo sani-tario elettronico," http://www.innovazionepa.gov.it/media/366959/ infse-linee-guida-v0.1-bozza.pdf (in Italian), October 2010.
8. OASIS, "eXtensible Access Control Markup Language (XACML) Version 3.0," August 2010.
9. I. Matteucci, M. Petrocchi, and M. L. Sbodio, "CNL4DSA: a Controlled Natural Language for Data Sharing Agreements," in SAC: Privacy on the Web Track. ACM, 2010, pp. 616-620.
10. K. G. Larsen and B. Thomsen, "A modal process logic," in LICS, 1988, pp. 203-210.
11. M. Clavel et al., Eds., All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, ser. LNCS, vol. 4350. Springer, 2007.