Dynamic Role Binding in Blockchain-Based Collaborative Business Processes

(University of Tartu, Estonia)

基於區塊鏈的協同商業過程的動態角色繫結

區塊鏈使不信任多方之間的協作商業過程稱為可能。現有平臺用high-level的概念來建模這個過程，並把它寫到智慧合約上部署到區塊鏈平臺上。然而，現有的平臺沒有考慮在這個過程中，哪個人有資格執行哪個任務，要麼完全忽略這個問題，要麼採用靜態方法，其中所有參與者在程序例項化時都繫結到角色。然而，區塊鏈的一個主要優點是它們能夠支援動態的行動者集。本文提出了協同流程中角色與角色的動態繫結模型以及相關的繫結策略規範語言。該語言具有Petri網語義，從而支援策略一致性驗證。本文還概述了一種將策略規範編譯為智慧契約以便執行的方法。實驗評估表明，政策執行的成本隨角色和約束的數量線性增加。

Applications of Blockchain in Healthcare: Current Landscape & Challenges

(Philips Research North America, Cambridge, MA, United States & Blockchain Lab, Delft University of Technology, Delft, Netherlands & Philips Research Europe, Eindhoven, Netherlands)

區塊鏈在醫療中的應用：當前情況與挑戰

由於中介網路的複雜性和交易缺乏可追溯性，醫療中介存在的很多問題。舉幾個例子：醫療保健資料分散在幾個庫中，對研究和服務產生負面影響，大約一半的臨床試驗從未被報告，成本毒品的發現不斷增加，劣質藥品和假藥也是個大問題。Blockchain具有解決這些問題的潛力，因為它在沒有任何中介的情況下提供信任，具有可追蹤性作為預設特徵，並通過啟用新的激勵來保證新的商業模式。由於其潛力，區塊鏈已經在醫療行業中引起了極大的興趣。在本文中，我們回顧了主要的使用案例鏈醫療保健：病人資料管理，藥學研究，醫藥品供應鏈管理，處方管理，計費索賠管理，分析和遠端醫療的相關專案。我們發現大多數連鎖專案都侷限於白皮書、概念證明和基於有限的使用者資料的產品。然而，我們觀察到專案的數量、質量和成熟度正在增加。我們還討論了醫療保健產業鏈鏈在技術、監管和業務方面的挑戰。

An Empirical Analysis of Monero Cross-Chain Traceability

(Austrian Institute of Technology & Vienna University of Technology)

MoneRo是一個以隱私為中心的加密支付方式。它通過將decoy新增到交易的每一筆輸入使支付變得不可追蹤。2017年有兩項研究找到了區分decoy和real input的方法，使使大多數交易可追溯。從那時起，很多改進協議被引入，但他們的有效性尚未被重新評估。此外，關於MoneRo在硬分叉鏈上交易的可追溯性也研究的很少。我們形式化了一種追蹤Monero交易的新方法，該方法是基於貨幣硬分叉分析。我們用這種方法做了對Monero、MoneroV和Monero Original的被動可追蹤性分析,然後發現只有一小部分input是可追蹤的。我們使用這個結果區估計已知的啟發式方法的有效性，發現它們和隨機猜測差不多。我們的發現表明Monero對被動攻擊容忍性好，並其他貨幣可能遭受的追蹤技術同樣有高容忍性。