首页> 外文OA文献 >A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods

【2h】

A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods

机译：基于区块链通过正式方法保护医疗保健系统的建议

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Luca Brunese; Francesco Mercaldo; Alfonso Reginelli; Antonella Santone;
展开▼
作者单位

展开▼
年度 2019
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods [J] . Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Procedia Computer Science . 2019,第12期

机译：通过正式方法保护医疗系统的基于区块链的建议
2. Blockchain-based electronic healthcare record system for healthcare 4.0 applications [J] . Sudeep Tanwar, Karan Parekh, Richard Evans Information Security Technical Report . 2020,第Feba期

机译：基于区块链的电子医疗记录系统，用于医疗4.0应用
3. An Attribute-Based Access Control Model in RFID Systems Based on Blockchain Decentralized Applications for Healthcare Environments [J] . Santiago Figueroa, Javier A?orga, Saioa Arrizabalaga Computers . 2019,第3期

机译：基于SlockChain的RFID系统基于属性的访问控制模型，用于医疗保健环境的分散应用
4. Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System [C] . Rateb Jabbar, Moez Krichen, Noora Fetais, International Conference on Enterprise Information Systems . 2020

机译：采用正式验证和基于模型的测试技术，用于验证基于区块链的医疗保健记录共享系统
5. Multi-Organization Healthcare System Based on Permissioned Blockchain [D] . Zhang Jinyuan 2019

机译：基于授权区块链的多组织医疗保健系统
6. Privacy-Preserving in Healthcare Blockchain Systems Based on Lightweight Message Sharing [O] . Junsong Fu, Na Wang, Yuanyuan Cai 2020

机译：基于轻量级消息共享的医疗保健区块链系统中的隐私保护
7. Propuesta metodológica para la planificación y gestión de los espacios protegidos red natura 2000, utilizando teledetección (análisis de imágenes en base a objetos) y sistemas de información geográfica = Methodological proposal for planning and managing protected natura 2000 areas, using remote sensing (object based image analysis) and geographic information systems. [O] . Hernando Gallego Ana 2011

机译：使用遥感（基于对象的图像分析）和地理信息系统规划和管理Natura 2000网络中保护区的方法学建议=使用遥感（基于对象的图像）规划和管理Natura 2000保护区的方法学建议分析）和地理信息系统。

A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅