cucpbioinfo / BlockchainBasedDataSharing Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

The formal model is written in Event-B notation that formally specifies the behavior of blockchain-based consent management in data sharing.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.project		.project
DSCX.bcc		DSCX.bcc
DSCX.bpo		DSCX.bpo
DSCX.bpr		DSCX.bpr
DSCX.bps		DSCX.bps
DSCX.buc		DSCX.buc
DSSM.bcm		DSSM.bcm
DSSM.bpo		DSSM.bpo
DSSM.bpr		DSSM.bpr
DSSM.bps		DSSM.bps
DSSM.bum		DSSM.bum
README.md		README.md

Repository files navigation

BlockchainBasedDataSharing

About

The formal model is written in Event-B notation that formally specifies the behavior of blockchain-based consent management in data sharing.

Custom properties

Report repository

Releases

No releases published

Packages

No packages published