Formalizing security properties in blockchain protocols
In this report we have used the logic L to write a formal specification of security properties in blockchain protocols for managing Electronic Health Records. The protocols have been adapted from previous research, and then formalized with regards to the properties data privacy and data integrity. W...
| Main Authors: | , |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Skolan för elektroteknik och datavetenskap (EECS)
2018
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-230642 |